Stefan Mitsch

Adjunct Faculty

Website

ORCID 0000-0002-3194-9759

Email

smitsch@cs.cmu.edu

Department

Computer Science Department

Research Areas

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

Email

Department

Research Areas

Advisees

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

Email

Department

Research Areas

Advisees

Publications

Preprint

Journal Article

Chapter

Chapter

Preprint