Auflistung nach Autor "Fränzle, Martin"
Anzeige der Dokumente 1-6 von 6
-
Bayesian hybrid automata: Reconciling formal methods with metrology
Kröger, Paul; Fränzle, Martin
265-275 -
Functional verification of cyber-physical systems containing machine-learnt components
Moradkhani, Farzaneh; Fränzle, Martin
277-287 -
Navigating with safety in confined waterways: an explorative case study
Parisi, Stella; Fränzle, Martin
-
A sampling-based approach for handling delays in continuous and hybrid systems
Berani Abdelwahab, Erzana; Fränzle, Martin
289-298 -
System correctness under adverse conditions
Olderog, Ernst-Rüdiger; Fränzle, Martin; Theel, Oliver; Kröger, Paul
249-251 -
Updates at Runtime for Cyber Physical Systems. A Game Theoretic Approach
Kröger, Janis; Fränzle, Martin
54-65