Autor der Publikation

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

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games., , , , , und . HSCC, Seite 259-268. ACM, (2015)Attraction-based receding horizon path planning with temporal logic constraints., , , und . CDC, Seite 6749-6754. IEEE, (2012)Quantitative verification and strategy synthesis for stochastic games., und . Eur. J. Control, (2016)Temporal logic motion planning using POMDPs with parity objectives: case study paper., , , , , , und . HSCC, Seite 233-238. ACM, (2015)Resource-Performance Trade-off Analysis for Mobile Robots., , , , , , , und . CoRR, (2016)Optimal Observation Mode Scheduling for Systems under Temporal Constraints., , , und . CoRR, (2016)Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games., , , , , und . CoRR, (2014)Optimal control of MDPs with temporal logic constraints., , und . CDC, Seite 3938-3943. IEEE, (2013)Optimal receding horizon control for finite deterministic systems with temporal logic constraints., , und . ACC, Seite 4399-4404. IEEE, (2013)Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties., , und . IEEE Trans. Automat. Contr., 60 (6): 1528-1541 (2015)