Eva Charlotte Mayer

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 2

Top Topics

Reactive Systems

Formal Specification Language

Top Venues

Publications

Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer, Matthias Althoff
Formalization of Interstate Traffic Rules in Temporal Logic. IV (2020)
Hendrik Roehm, Thomas Heinz, Eva Charlotte Mayer
STLInspector: STL Validation with Guarantees. CAV (1) (2017)