Florian Löhr

Publication Activity (10 Years)

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

Top Topics

Future Directions

Formal Verification

Participatory Design

Activity Monitoring

Top Venues

Publications

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. CAV (2) (2024)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned. CoRR (2024)