Stefan Mitsch

Stefan Mitsch

Carnegie Mellon University - Pittsburgh / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 883528
person_outline Stefan Mitsch's MOST POPULAR ARTICLES
1-) KeYmaera X: An axiomatic tactical theorem prover for hybrid systemsN Fulton, S Mitsch, JD Quesel, M Völp, A PlatzerInternational Conference on Automated Deduction, 527-538, 20152432015
2-) ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System ModelsS Mitsch, A PlatzerFormal Methods in System Design 49 (1), 33-74, 20161562016
3-) BeAware!—situation awareness, the ontology-driven wayN Baumgartner, W Gottesheim, S Mitsch, W Retschitzegger, W SchwingerData & Knowledge Engineering 69 (11), 1181-1193, 20101292010
4-) On provably safe obstacle avoidance for autonomous robotic ground vehiclesS Mitsch, K Ghorbal, A PlatzerRobotics: Science and Systems IX, Technische Universität Berlin, Berlin …, 20131252013
5-) Formal verification of obstacle avoidance and navigation of ground robotsS Mitsch, K Ghorbal, D Vogelbacher, A PlatzerThe International Journal of Robotics Research 36 (12), 1312-1340, 20171052017