Stefan Mitsch - Publications, H-index & Citations

Stefan Mitsch

Carnegie Mellon University

18H指数

113论文数

1.4K被引数

收录论文 3

发表时间

High-Assurance SPIRAL END-TO-END GUARANTEES FOR ROBOT AND CAR CONTROL

IEEE CONTROL SYSTEMS MAGAZINE

IF6.3

2017-04-01

PREAI

Franchetti, Franz; Low, Tze Meng; Mitsch, Stefan; Mendoza, Juan Pablo; Gui, Liangyan; Phaosawasdi, Amarin; Padua, David; Kar, Soummya; Moura, Jose M. F.; Franusich, Michael; Johnson, Jeremy; Platzer, Andre; Veloso, Manuela M.

Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems 动态空间系统中定性和混合推理的基于逻辑的建模方法

ACM COMPUTING SURVEYS

IF28

2015-08-10

PREAI

Mitsch, Stefan; Platzer, Andre; Retschitzegger, Werner; Schwinger, Wieland

A tour of BeAware - A situation awareness framework for control centers

INFORMATION FUSION

IF15.5

2014-11-01

PREAI

Baumgartner, Norbert; Mitsch, Stefan; Mueller, Andreas; Retschitzegger, Werner; Salfinger, Andrea; Schwinger, Wieland

研究方向