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 • 13903 LNCS: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 • 14066:149-167 Strauss M, Mitsch S Preprint Uniform Substitution for Dynamic Logic with 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 • 13903 LNCS: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 • 14066:149-167 Strauss M, Mitsch S
Preprint Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs 2023 Brieger M, Mitsch S, Platzer A
