| Invariance Feedback Entropy of Uncertain Control Systems | 0 | 0.34 | 2021 |
| Symbolic Optimal Control. | 0 | 0.34 | 2019 |
| Accurate reachability analysis of uncertain nonlinear systems. | 0 | 0.34 | 2018 |
| Software Fault Tolerance For Cyber-Physical Systems Via Full System Restart | 0 | 0.34 | 2018 |
| Arbitrarily Precise Abstractions For Optimal Controller Synthesis | 3 | 0.41 | 2017 |
| Application and system-level software fault tolerance through full system restarts. | 7 | 0.47 | 2017 |
| Invariance Feedback Entropy of Nondeterministic Control Systems. | 1 | 0.38 | 2017 |
| Quantitative Implementation Strategies for Safety Controllers. | 0 | 0.34 | 2017 |
| Automated generation of dynamics-based runtime certificates for high-level control. | 1 | 0.35 | 2017 |
| Invariance Feedback Entropy of Uncertain Control Systems. | 0 | 0.34 | 2017 |
| On The Invariance Feedback Entropy Of Linear Perturbed Control Systems | 0 | 0.34 | 2017 |
| Optimized State Space Grids for Abstractions. | 2 | 0.40 | 2017 |
| Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). | 0 | 0.34 | 2017 |
| Symbolic models of networked control systems: A feedback refinement relation approach. | 0 | 0.34 | 2016 |
| A Notion of Robustness for Cyber-Physical Systems | 6 | 0.53 | 2016 |
| SCOTS: A Tool for the Synthesis of Symbolic Controllers. | 30 | 1.32 | 2016 |
| Symbolic Synthesis With Average Performance Guarantees | 0 | 0.34 | 2016 |
| Computing Robust Controlled Invariant Sets of Linear Systems | 11 | 0.74 | 2016 |
| Compositional Construction of Approximate Abstractions of Interconnected Control Systems | 4 | 0.52 | 2015 |
| Approximations of Stochastic Hybrid Systems: A Compositional Approach | 8 | 0.55 | 2015 |
| Generalization of an input-to-state stability preserving Runge-Kutta method for nonlinear control systems | 0 | 0.34 | 2014 |
| Discounting the past in robust finite-state systems | 0 | 0.34 | 2014 |
| Abstracting and refining robustness for cyber-physical systems | 5 | 0.45 | 2014 |
| Specification-guided controller synthesis for linear systems and safe linear-time temporal logic | 20 | 1.06 | 2013 |
| A symbolic approach to the design of robust cyber-physical systems | 3 | 0.39 | 2013 |
| Abstraction-based solution of optimal stopping problems under uncertainty | 4 | 0.46 | 2013 |
| Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen (Hierarchical Modeling and Control of Hybrid Systems with Two Layers) | 0 | 0.34 | 2010 |
| Optimal Control for Deterministic Hybrid Systems using Dynamic Programming | 0 | 0.34 | 2009 |
| Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning | 0 | 0.34 | 2008 |
| Efficient Planning Of Autonomous Robots Using Hierarchical Decomposition | 0 | 0.34 | 2008 |
