In honor of Karl Drais’ 1817 invention, we release our first demonstrator for the POWVER project: Draisine 200.0 is a wooden bicycle with 21st century enhancements, built to serve as a testbed for automatically verifying properties of motor control software.
Power to the People. Verified.
An ERC Advanced Investigators Grant
