Items where Author is "Kohn, Florian"
Number of items: 1.
Article
Finkbeiner, Bernd and Fränzle, Martin and Kohn, Florian and Kröger, Paul
(2022)
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation.
Algorithms, 15 (4).
This list was generated on Tue Jul 1 15:44:06 2025 CEST.