Florian Kohn

According to our database, Florian Kohn authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned.

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens

CoRR, 2024

2023

Leveraging Static Analysis: An IDE for RTLola.

Bernd Finkbeiner, Florian Kohn, Malte Schledjewski

Proceedings of the Automated Technology for Verification and Analysis, 2023

Reactive Synthesis of Smart Contract Control Flows.

Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation.

Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger

Algorithms, 2022