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

Optimal path planning for surveillance with temporal-logic constraints., , , and . I. J. Robotics Res., 30 (14): 1695-1708 (2011)Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints., , and . IEEE Trans. Automat. Contr., 61 (12): 3948-3962 (2016)Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving., , , , , and . CoRR, (2019)Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications., , , and . ECC, page 2042-2049. IEEE, (2019)Guiding Autonomous Exploration With Signal Temporal Logic., , , and . IEEE Robotics and Automation Letters, 4 (4): 3332-3339 (2019)Verification of Systems with Degradation., , and . Comput. Informatics, 31 (3): 507- (2012)Formal analysis of piecewise affine systems through formula-guided refinement., , , , and . Automatica, 49 (1): 261-266 (2013)Attraction-based receding horizon path planning with temporal logic constraints., , , and . CDC, page 6749-6754. IEEE, (2012)Cooperative Planning for Coupled Multi-Agent Systems under Timed Temporal Specifications., , , and . CoRR, (2016)Minimum-violation LTL Planning with Conflicting Specifications, , , , and . CoRR, (2013)