Stefan Mitsch

Identifiers

• name variant Stefan Mitsch 0.60 · backfill

Papers (7)

1. Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic cs.LO · 2019 · author #2
2. Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects eess.SY · 2019 · author #2
3. A Formal Safety Net for Waypoint Following in Ground Robots cs.RO · 2019 · author #3
4. HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification cs.PL · 2019 · author #2
5. Verified Runtime Validation for Partially Observable Hybrid Systems cs.LO · 2018 · author #1
6. Formal Verification of Obstacle Avoidance and Navigation of Ground Robots cs.SY · 2016 · author #1
7. Collaborative Verification-Driven Engineering of Hybrid Systems cs.LO · 2014 · author #1

Mentions

• 1903.05073 #3 · arxiv_oai · confidence 0.70 Stefan Mitsch
• 1605.00604 #1 · arxiv_oai · confidence 0.70 Stefan Mitsch
• 1403.6085 #1 · backfill · confidence 0.70 Stefan Mitsch

Frequent Coauthors

• Andr\'e Platzer 3 shared papers
• Andre Platzer 2 shared papers
• Andrew Sogokon 1 shared papers
• Benoit Boyer 1 shared papers
• Brandon Bohrer 1 shared papers
• David Vogelbacher 1 shared papers
• Eduard Kamburjan 1 shared papers
• Grant Olney Passmore 1 shared papers
• Jean-Pierre Talpin 1 shared papers
• Khalil Ghorbal 1 shared papers
• Luis Garcia 1 shared papers
• Martina Kettenbach 1 shared papers
• Reiner H\"ahnle 1 shared papers
• Simon Lunel 1 shared papers
• Yong Kiam Tan 1 shared papers