Spyros Maniatopoulos

Reactive high-level behavior synthesis for an Atlas humanoid robot

In this work, we take a step towards bridging the gap between the theory of formal synthesis and its application to real-world, complex, robotic systems. In particular, we present an end-to-end approach for the automatic generation of code that implements high-level robot behaviors in a verifiably c