Stefan Mitsch

Adjunct Faculty

Website

Email smitsch@cs.cmu.edu

Department
Computer Science Department

Research Interests
Programming Languages

Advisees
Aditi Kabra

Publications

Preprint

Dynamic Logic of Communicating Hybrid Programs

2023
Brieger M, Mitsch S, Platzer A

Journal Article

Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X

2023 • Transactions on Embedded Computing Systems • 22(1):
Cleaveland R, Mitsch S, Platzer A

Chapter

Reward Shaping from Hybrid Systems Models in Reinforcement Learning

2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13903:122-139
Qian M, Mitsch S

Chapter

Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars

2023 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 14066:149-167
Strauss M, Mitsch S

Preprint

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs

2023
Brieger M, Mitsch S, Platzer A

At a Glance

Academic Offerings

Admissions

Directory Submenu

People

Explore the Field

Stefan Mitsch

Publications

Preprint

Journal Article

Chapter

Chapter

Preprint

At a Glance

Academic Offerings

Admissions

Directory Submenu

People

Explore the Field

What can we help you find?

Stefan Mitsch

Publications

Preprint

Journal Article

Chapter

Chapter

Preprint