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

Reinforcement Learning With Temporal Logic Rewards., , and . CoRR, (2016)Formal Methods for Control Synthesis: An Optimization Perspective., and . Annu. Rev. Control. Robotics Auton. Syst., (2019)Distributed information gathering policies under temporal logic constraints., , , and . CDC, page 6803-6808. IEEE, (2015)Probabilistically Safe Vehicle Control in a Hostile Environment, , , , and . CoRR, (2011)Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents., , , , and . IROS, page 229-236. IEEE, (2012)Model predictive control of urban traffic networks with temporal logic constraints., and . ACC, page 881. IEEE, (2016)Control of noisy differential-drive vehicles from time-bounded temporal logic specifications., and . ICRA, page 2021-2026. IEEE, (2013)Probabilistic control from time-bounded temporal logic specifications in dynamic environments., , and . ICRA, page 4705-4710. IEEE, (2012)Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games., , , , , and . HSCC, page 259-268. ACM, (2015)Formal analysis of timed continuous Petri nets., , , , and . CDC, page 245-250. IEEE, (2008)