Myra Dotzel

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Imperative Programs

Reasoning About Actions

Agent Programming

Top Venues

Publications

Myra Dotzel, Stefan Mitsch, André Platzer
A Usage-Aware Sequent Calculus for Differential Dynamic Logic. CoRR (2023)
Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia
Modal Crash Types for Intermittent Computing. ESOP (2023)