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

Iterative temporal motion planning for hybrid systems in partially unknown environments., , , , and . HSCC, page 353-362. ACM, (2013)Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems., , , , , and . HSCC, page 240-251. ACM, (2019)Formal Verification and Synthesis for Discrete-Time Stochastic Systems., , and . IEEE Trans. Automat. Contr., 60 (8): 2031-2045 (2015)Interval Markov Decision Processes with Continuous Action-Spaces., , , and . HSCC, page 12:1-12:10. ACM, (2023)Least squares temporal difference actor-critic methods with applications to robot motion control., , , , , and . CDC/ECC, page 704-709. IEEE, (2011)Pareto Optimal Strategies for Event-triggered Estimation., , and . CDC, page 2884-2889. IEEE, (2022)Recursively-Constrained Partially Observable Markov Decision Processes., , , , , , , and . CoRR, (2023)Optimal Cost-Preference Trade-Off Planning with Multiple Temporal Tasks., and . IROS, page 2071-2077. (2023)Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE)., , , , and . ICRA, page 2055-2060. IEEE, (2009)Optimal Planning for Timed Partial Order Specifications., , , , , and . ICRA, page 17093-17099. IEEE, (2024)