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

Specifying User Preferences using Weighted Signal Temporal Logic., , and . ACC, page 4900-4905. IEEE, (2021)Spatial-Temporal pattern Synthesis in a Network of Locally Interacting Cells., , , , , and . CDC, page 3516-3521. IEEE, (2018)Consensus of multi-agent systems with double-integrator dynamics in the presence of moving obstacles., , and . CCA, page 1817-1822. IEEE, (2015)Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints., , and . ACC, page 3461-3466. IEEE, (2021)Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications., , , and . CDC, page 5110-5115. IEEE, (2021)Average-based Robustness for Continuous-Time Signal Temporal Logic., , and . CDC, page 5312-5317. IEEE, (2019)The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior., , , , , , , , , and . IROS, page 6708-6715. IEEE, (2021)Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications., , and . ACC, page 1690-1695. IEEE, (2019)Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics., , , and . CDC, page 4361-4366. IEEE, (2019)Rule-based optimal control for autonomous driving., , , , , , and . ICCPS, page 143-154. ACM, (2021)