Stefan Mitsch

Carnegie Mellon University

Papers

7

Total Citations

210

H-Index

5

About

No biography available yet.

Research Focus

Computer science7 · 210 citations
Artificial intelligence3 · 133 citations
Robot3 · 133 citations
Engineering3 · 125 citations
Control engineering2 · 122 citations
Computer security2 · 122 citations
Programming language5 · 108 citations
Operating system4 · 105 citations
Cyber-physical system3 · 101 citations
Embedded system3 · 101 citations
Software3 · 93 citations
Collision1 · 91 citations

Key Achievements

5
H-Index
7
Papers
210
Total Citations
30
Avg Citations/Paper
🏆 Most Cited Paper
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles
91 citations · 2013
📈 Most Prolific Year: 2013 (2 Papers)
🤝 Key Collaborators: 20
🏛 Institutions: Carnegie Mellon University

Top Papers

  1. 1
    On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles
    91 citations · 2013
  2. 2
    VeriPhy: verified controller executables from verified cyber-physical system models
    59 citations · 2018
  3. 3
    High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
    31 citations · 2017
  4. 4
    VeriPhy: verified controller executables from verified cyber-physical system models
    11 citations · 2018
  5. 5
    Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems
    11 citations · 2015
  6. 6
    A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)
    4 citations · 2019
  7. 7
    A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems
    3 citations · 2013

Key Collaborators

APAndré Platzer7 shared papersWSWieland Schwinger2 shared papersYKYong Kiam Tan2 shared papersMOMagnus O. Myreen2 shared papersRBRose Bohrer2 shared papersAPAmarin Phaosawasdi1 shared papersGOGrant Olney Passmore1 shared papersDPDavid Padua1 shared papersSKSoummya Kar1 shared papersFFFranz Franchetti1 shared papersJMJosé M. F. Moura1 shared papersAMAndreas Müller1 shared papersTMTze Meng Low1 shared papersJPJuan Pablo Mendoza1 shared papersLGLiang-Yan Gui1 shared papersMVManuela Veloso1 shared papersWRWerner Retschitzegger1 shared papersMFMike Franusich1 shared papersJJJeremy Johnson1 shared papersKGKhalil Ghorbal1 shared papers
Not generated yet