Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning. - Matthias Rungger; Hao Ding 001; Olaf Stursberg (ABiALS, 2008)

Efficient Planning of Autonomous Robots using Hierarchical Decomposition. - Matthias Rungger; Olaf Stursberg; Bernd Spanfelner; Christian Leuxner; Wassiou Sitou (ICINCO-RA (1), 2008)

Optimal Control for Deterministic Hybrid Systems using Dynamic Programming. - Matthias Rungger; Olaf Stursberg (ADHS, 2009)

Function approximation for the deterministic Hamilton-Jacobi-Bellman equation. - Matthias Rungger; Olaf Stursberg (CDC, 2009)

Hierarchical hybrid modeling and control of flexible manufacturing systems. - Tina Paschedag; Matthias Rungger; Hao Ding 001; Olaf Stursberg (ECC, 2009)

Continuity of the value function for exit time optimal control problems of hybrid systems. - Matthias Rungger; Olaf Stursberg (CDC, 2010)

Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen (Hierarchical Modeling and Control of Hybrid Systems with Two Layers). - Olaf Stursberg; Tina Paschedag; Matthias Rungger; Hao Ding 001 (Autom., 2010)

On-the-fly model abstraction for controller synthesis. - Matthias Rungger; Olaf Stursberg (ACC, 2012)

Scaling up controller synthesis for linear systems and safety specifications. - Matthias Rungger; Manuel Mazo Jr. 002; Paulo Tabuada (CDC, 2012)

Abstraction-based solution of optimal stopping problems under uncertainty. - Gunther Reissig; Matthias Rungger (CDC, 2013)

A symbolic approach to the design of robust cyber-physical systems. - Matthias Rungger; Paulo Tabuada (CDC, 2013)

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. - Matthias Rungger; Manuel Mazo Jr. 002; Paulo Tabuada (HSCC, 2013)

Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. - Petter Nilsson; Omar Hussien; Yuxiao Chen 001; Ayca Balkan; Matthias Rungger; Aaron D. Ames; Jessy W. Grizzle; Necmiye Ozay; Huei Peng; Paulo Tabuada (CDC, 2014)

Feedback refinement relations for symbolic controller synthesis. - Gunther Reissig; Matthias Rungger (CDC, 2014)

Discounting the past in robust finite-state systems. - Matthias Rungger; Paulo Tabuada (CDC, 2014)

Abstracting and refining robustness for cyber-physical systems. - Matthias Rungger; Paulo Tabuada (HSCC, 2014)

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. - Jonathan A. DeCastro; Rüdiger Ehlers; Matthias Rungger; Ayca Balkan; Paulo Tabuada; Hadas Kress-Gazit (CoRR, 2014)

Generalization of an input-to-state stability preserving Runge-Kutta method for nonlinear control systems. - Michael Deflorian; Matthias Rungger (J. Comput. Appl. Math., 2014)

Towards Robustness for Cyber-Physical Systems. - Paulo Tabuada; Sina Yamac Caliskan; Matthias Rungger; Rupak Majumdar (IEEE Trans. Autom. Control., 2014)

State space grids for low complexity abstractions. - Matthias Rungger; Alexander Weber 004; Gunther Reissig (CDC, 2015)

Construction of approximations of stochastic control systems: A compositional approach. - Majid Zamani 001; Matthias Rungger; Peyman Mohajerin Esfahani (CDC, 2015)

First steps toward formal controller synthesis for bipedal robots. - Aaron D. Ames; Paulo Tabuada; Bastian Schürmann; Wen-Loong Ma; Shishir Kolathaya; Matthias Rungger; Jessy W. Grizzle (HSCC, 2015)

Compositional construction of approximate abstractions. - Matthias Rungger; Majid Zamani 001 (HSCC, 2015)

Symbolic models of networked control systems: A feedback refinement relation approach. - Mahmoud Khaled; Matthias Rungger; Majid Zamani 001 (Allerton, 2016)

Symbolic synthesis with average performance guarantees. - Matthias Rungger; Gunther Reissig; Majid Zamani 001 (CDC, 2016)

SCOTS: A Tool for the Synthesis of Symbolic Controllers. - Matthias Rungger; Majid Zamani 001 (HSCC, 2016)

A Notion of Robustness for Cyber-Physical Systems. - Matthias Rungger; Paulo Tabuada (IEEE Trans. Autom. Control., 2016)

Arbitrarily precise abstractions for optimal controller synthesis. - Matthias Rungger; Gunther Reissig (CDC, 2017)

On the invariance feedback entropy of linear perturbed control systems. - Matthias Rungger; Majid Zamani 001 (CDC, 2017)

Invariance Feedback Entropy of Nondeterministic Control Systems. - Matthias Rungger; Majid Zamani 001 (HSCC, 2017)

Application and system-level software fault tolerance through full system restarts. - Fardin Abdi; Rohan Tabish; Matthias Rungger; Majid Zamani 001; Marco Caccamo (ICCPS, 2017)

Invariance Feedback Entropy of Uncertain Control Systems. - Matthias Rungger; Majid Zamani 001 (CoRR, 2017)

Quantitative Implementation Strategies for Safety Controllers. - Philipp J. Meyer; Matthias Rungger; Michael Luttenberger; Javier Esparza; Majid Zamani 001 (CoRR, 2017)

Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). - Calin Belta; Rupak Majumdar; Majid Zamani 001; Matthias Rungger (Dagstuhl Reports, 2017)

Automated generation of dynamics-based runtime certificates for high-level control. - Jonathan A. DeCastro; Rüdiger Ehlers; Matthias Rungger; Ayca Balkan; Hadas Kress-Gazit (Discret. Event Dyn. Syst., 2017)

Feedback Refinement Relations for the Synthesis of Symbolic Controllers. - Gunther Reissig; Alexander Weber 004; Matthias Rungger (IEEE Trans. Autom. Control., 2017)

Computing Robust Controlled Invariant Sets of Linear Systems. - Matthias Rungger; Paulo Tabuada (IEEE Trans. Autom. Control., 2017)

Optimized State Space Grids for Abstractions. - Alexander Weber 004; Matthias Rungger; Gunther Reissig (IEEE Trans. Autom. Control., 2017)

Approximations of Stochastic Hybrid Systems: A Compositional Approach. - Majid Zamani 001; Matthias Rungger; Peyman Mohajerin Esfahani (IEEE Trans. Autom. Control., 2017)

Accurate reachability analysis of uncertain nonlinear systems. - Matthias Rungger; Majid Zamani 001 (HSCC, 2018)

SENSE: Abstraction-Based Synthesis of Networked Control Systems. - Mahmoud Khaled; Matthias Rungger; Majid Zamani 001 (MeTRiD@ETAPS, 2018)

Compositional Construction of Approximate Abstractions of Interconnected Control Systems. - Matthias Rungger; Majid Zamani 001 (IEEE Trans. Control. Netw. Syst., 2018)

Symbolic Optimal Control. - Gunther Reissig; Matthias Rungger (IEEE Trans. Autom. Control., 2019)

Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. - Pushpak Jagtap; Fardin Abdi; Matthias Rungger; Majid Zamani 001; Marco Caccamo (ACM Trans. Cyber Phys. Syst., 2020)

Invariance Feedback Entropy of Uncertain Control Systems. - Mahendra Singh Tomar; Matthias Rungger; Majid Zamani 001 (IEEE Trans. Autom. Control., 2021)