Author of the publication

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints.

, , , and . IEEE Trans. Automat. Contr., 59 (5): 1244-1257 (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

Distributed information gathering policies under temporal logic constraints., , , and . CDC, page 6803-6808. IEEE, (2015)Model predictive control of urban traffic networks with temporal logic constraints., and . ACC, page 881. IEEE, (2016)Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents., , , , and . IROS, page 229-236. IEEE, (2012)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)Probabilistically Safe Vehicle Control in a Hostile Environment, , , , and . CoRR, (2011)Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games., , , , , and . HSCC, page 259-268. ACM, (2015)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)Model-based reinforcement learning for approximate optimal control with temporal logic specifications., and . HSCC, page 12:1-12:11. ACM, (2021)