Autor der Publikation

Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization.

, , und . CDC, Seite 5226-5231. IEEE, (2022)

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

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)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)Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games., , , , , und . HSCC, Seite 259-268. ACM, (2015)Model predictive control of urban traffic networks with temporal logic constraints., und . ACC, Seite 881. IEEE, (2016)Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents., , , , und . IROS, Seite 229-236. IEEE, (2012)Distributed information gathering policies under temporal logic constraints., , , und . CDC, Seite 6803-6808. IEEE, (2015)Semi-supervised pattern synthesis in spatially distributed dynamical systems., , , und . ACC, Seite 2530-2535. IEEE, (2017)Retroactivity Affects the Adaptive Robustness of Transcriptional Regulatory Networks., und . ACC, Seite 5396-5401. IEEE, (2019)