| 2025 | ICINCO | On the Synthesis of Stable Switching Dynamics to Approximate Limit Cycles of Nonlinear Oscillators. | Nils Hanke, Zonglin Liu, Olaf Stursberg |
| 2025 | ICINCO | Enhancing Resilience of Strong Structural Controllability in Leader-Follower Networks. | Vincent Schmidtke, Olaf Stursberg |
| 2024 | CoDIT | Tailored Transformations for Constraint Satisfaction in Learning of Parametric Controllers for Nonlinear Systems. | Lukas Markolf, Olaf Stursberg |
| 2024 | ICINCO | Computing Bounds for the Synchronization Errors of Nonidentical Nonlinear Oscillators with Time-Varying Diffusive Coupling. | Tabea Trummel, Zonglin Liu, Olaf Stursberg |
| 2021 | ICINCO | A Study on Model-based Optimization of Vaccination Strategies against Epidemic Virus Spread. | Zonglin Liu, Muhammed Omayrat, Olaf Stursberg |
| 2021 | ICINCO | Learning-based Optimal Control of Constrained Switched Linear Systems using Neural Networks. | Lukas Markolf, Olaf Stursberg |
| 2021 | ICINCO | Stability Analysis for State Feedback Control Systems Established as Neural Networks with Input Constraints. | Lukas Markolf, Olaf Stursberg |
| 2012 | ETFA | Hierarchical and distributed discrete event control of manufacturing processes. | Olaf Stursberg |
| 2011 | ICRA | Human arm motion modeling and long-term prediction for safe and efficient Human-Robot-Interaction. | Hao Ding, Gunther Reissig, Kurniawan Wijaya, Dino Bortot, Klaus Bengler, Olaf Stursberg |
| 2009 | IROS | Optimal path planning in the workspace for articulated robots using mixed integer programming. | Hao Ding, Mingxiang Zhou, Olaf Stursberg |
| 2008 | ICINCO | Efficient Planning of Autonomous Robots using Hierarchical Decomposition. | Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou |
| 2007 | ACC | Safety Assessment of Autonomous Cars using Verification Techniques. | Matthias Althoff, Olaf Stursberg, Martin Buss |
| 2007 | ACC | Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs. | Sven Lohmann, Olaf Stursberg, Sebastian Engell |
| 2007 | ICINCO | Scheduling of multi-product batch plants using reachability analysis of timed automata models. | Subanatarajan Subbiah, Sebastian Panek, Sebastian Engell, Olaf Stursberg |
| 2007 | SAFECOMP | Controller Architecture for Safe Cognitive Technical Systems. | Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stursberg |
| 2003 | TACAS | Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. | Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald |