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

Counterexample-Guided Synthesis of Perception Models and Control., , and . CoRR, (2019)Counter-Example Guided Synthesis of control Lyapunov functions for switched systems., and . CDC, page 4232-4239. IEEE, (2015)Path-Following through Control Funnel Functions., , , and . IROS, page 401-408. IEEE, (2018)Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations., and . Robotics: Science and Systems, (2017)Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems., , , , and . ACC, page 2771-2776. IEEE, (2019)A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients., , , , and . Allerton Conference, page 1610-1617. IEEE, (2012)Learning Control Lyapunov Functions from Counterexamples and Demonstrations., and . CoRR, (2018)Robust controller synthesis of switched systems using counterexample guided framework., and . EMSOFT, page 8:1-8:10. ACM, (2016)Inductive Certificate Synthesis for Control Design.. CoRR, (2018)Reducing Time-To-Fix For Fuzzer Bugs., , , , and . ASE, page 1126-1130. IEEE, (2021)