Author of the publication

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

Path-Following through Control Funnel Functions., , , and . IROS, page 401-408. IEEE, (2018)Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems., , , , and . ACC, page 2771-2776. IEEE, (2019)Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations., and . Robotics: Science and Systems, (2017)A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients., , , , and . Allerton Conference, page 1610-1617. IEEE, (2012)Counter-Example Guided Synthesis of control Lyapunov functions for switched systems., and . CDC, page 4232-4239. IEEE, (2015)Counterexample-Guided Synthesis of Perception Models and Control., , and . CoRR, (2019)VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems., , , , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 432-442. Springer, (2019)Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation., and . EMSOFT, page 15:1-15:10. ACM, (2014)Real-time Funnel Generation for Restricted Motion Planning., , and . CoRR, (2019)Formal Policy Learning from Demonstrations for Reachability Properties., , and . ICRA, page 6037-6043. IEEE, (2019)