Stefan Mitsch

Carnegie Mellon University

论文数

7

总引用数

210

H-Index

5

关于

暂无简介。

研究焦点

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

主要成就

5
H 指数
7
论文
210
总引用数
30
篇均引用
🏆 最高被引论文
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles
91 次引用 · 2013
📈 最高产年份: 2013 (2 论文)
🤝 主要合作者: 20
🏛 所属机构: Carnegie Mellon University

代表论文

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

主要合作者

APAndré Platzer7 篇合著论文WSWieland Schwinger2 篇合著论文YKYong Kiam Tan2 篇合著论文MOMagnus O. Myreen2 篇合著论文RBRose Bohrer2 篇合著论文APAmarin Phaosawasdi1 篇合著论文GOGrant Olney Passmore1 篇合著论文DPDavid Padua1 篇合著论文SKSoummya Kar1 篇合著论文FFFranz Franchetti1 篇合著论文JMJosé M. F. Moura1 篇合著论文AMAndreas Müller1 篇合著论文TMTze Meng Low1 篇合著论文JPJuan Pablo Mendoza1 篇合著论文LGLiang-Yan Gui1 篇合著论文MVManuela Veloso1 篇合著论文WRWerner Retschitzegger1 篇合著论文MFMike Franusich1 篇合著论文JJJeremy Johnson1 篇合著论文KGKhalil Ghorbal1 篇合著论文
尚未生成