Author of the publication

A sampling-based strategy planner for nondeterministic hybrid systems.

, , and . ICRA, page 3005-3012. IEEE, (2014)

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

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems., , , , , and . HSCC, page 240-251. ACM, (2019)Iterative temporal motion planning for hybrid systems in partially unknown environments., , , , and . HSCC, page 353-362. ACM, (2013)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)Formal Verification and Synthesis for Discrete-Time Stochastic Systems., , and . IEEE Trans. Automat. Contr., 60 (8): 2031-2045 (2015)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)Interval Markov Decision Processes with Continuous Action-Spaces., , , and . HSCC, page 12:1-12:10. ACM, (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)