A Python-based software toolbox for the synthesis of embedded control software that is provably correct with respect to an expressive subset of linear temporal logic (LTL) specifications.
Develop mathematical and computational frameworks to facilitate the design and analysis of embedded control systems such as autonomous vehicles.
A race of autonomous ground vehicles through an urban environment.