Autor der Publikation

Probabilistic control from time-bounded temporal logic specifications in dynamic environments.

, , und . ICRA, Seite 4705-4710. IEEE, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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