Matthias Rungger

Identifiers

• name variant Matthias Rungger 0.60 · backfill

Papers (10)

1. Software Fault Tolerance for Cyber-Physical Systems via Full System Restart cs.SY · 2018 · author #3
2. Quantitative Implementation Strategies for Safety Controllers cs.SY · 2017 · author #2
3. Optimized State Space Grids for Abstractions math.OC · 2017 · author #2
4. Symbolic Optimal Control math.OC · 2017 · author #2
5. Computing Robust Controlled Invariant Sets of Linear Systems math.OC · 2016 · author #1
6. Approximations of Stochastic Hybrid Systems: A Compositional Approach math.OC · 2015 · author #2
7. Compositional Construction of Approximate Abstractions of Interconnected Control Systems math.OC · 2015 · author #1
8. Feedback Refinement Relations for the Synthesis of Symbolic Controllers math.OC · 2015 · author #3
9. Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control cs.RO · 2014 · author #3
10. A Notion of Robustness for Cyber-Physical Systems cs.SY · 2013 · author #1

Mentions

• 1310.5199 #1 · backfill · confidence 0.70 Matthias Rungger

Frequent Coauthors

• Majid Zamani 4 shared papers
• Gunther Reissig 3 shared papers
• Paulo Tabuada 3 shared papers
• Alexander Weber 2 shared papers
• Ayca Balkan 1 shared papers
• Fardin Abdi 1 shared papers
• Hadas Kress-Gazit 1 shared papers
• Javier Esparza 1 shared papers
• Jonathan A. DeCastro 1 shared papers
• Marco Caccamo 1 shared papers
• Michael Luttenberger 1 shared papers
• Peyman Mohajerin Esfahani 1 shared papers
• Philipp J. Meyer 1 shared papers
• Pushpak Jagtap 1 shared papers
• Ruediger Ehlers 1 shared papers