STLInspector: STL Validation with Guarantees. - Hendrik Roehm; Thomas Heinz 001; Eva Charlotte Mayer (CAV (1), 2017)

Formalization of Interstate Traffic Rules in Temporal Logic. - Sebastian Maierhofer; Anna-Katharina Rettinger; Eva Charlotte Mayer; Matthias Althoff (IV, 2020)