1
Publications
70
Citations
1
H-Index
2020
Active since
Affiliations
Technical University of Munich(Current)
Eva Charlotte Mayer is an author at Technical University of Munich specializing in automation, automated reasoning, and verification.
Top concepts
AutomationEngineeringData ScienceVerificationFormal MethodsComputer ScienceTraffic ManagementAutomated ReasoningAutonomous VehiclesFormal Verification
Publications per year
2020–2020
1
1
Formalization of Interstate Traffic Rules in Temporal Logic
Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer et al. · 2020 · 70 citations · Full text
Rows per page
1–1 of 1