Marvin Brieger

Publication Activity (10 Years)

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

Top Topics

Imperative Programs

Agent Programming

Top Venues

Publications

Marvin Brieger, Stefan Mitsch, André Platzer
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. CADE (2023)
Marvin Brieger, Stefan Mitsch, André Platzer
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. CoRR (2023)
Marvin Brieger, Stefan Mitsch, André Platzer
Dynamic Logic of Communicating Hybrid Programs. CoRR (2023)