Author of the publication

Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis.

, and . ARCH@CPSWeek, volume 43 of EPiC Series in Computing, page 52-59. EasyChair, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Hot-swapping robot task goals in reactive formal synthesis., and . CDC, page 101-107. IEEE, (2014)On-Line STEAM Outreach with Remote Robot Access., , , , , , , and . SIGCSE, page 1325. ACM, (2021)Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications., and . DARS, volume 112 of Springer Tracts in Advanced Robotics, page 371-385. Springer, (2014)Backtracking temporal logic synthesis for uncertain environments., , and . ICRA, page 5163-5170. IEEE, (2012)Signal Temporal Logic Meets Reachability: Connections and Applications., , , and . WAFR, volume 14 of Springer Proceedings in Advanced Robotics, page 581-601. Springer, (2018)Towards formal synthesis of reactive controllers for dexterous robotic manipulation., , , , and . ICRA, page 5183-5189. IEEE, (2012)Time-annotated game graphs for synthesis from abstracted systems.. CDC, page 6797-6802. IEEE, (2015)On the Broad Implications of Reinforcement Learning based AGI., , and . AGI, volume 171 of Frontiers in Artificial Intelligence and Applications, page 478-482. IOS Press, (2008)Patching task-level robot controllers based on a local μ-calculus formula., , , and . ICRA, page 4588-4595. IEEE, (2013)Just-in-time synthesis for reactive motion planning with temporal logic., and . ICRA, page 5048-5053. IEEE, (2013)