Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability by Tino Teige, Martin Fränzle

Get full text

Determining the Validity of Simulation Models for the Verification of Automated Driving Systems by Birte Neurohr, Tjark Koopmann, Eike Mohlmann, Martin Franzle

Get full text

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation by Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger

Get full text

Dynamic Conflict Resolution Using Justification Based Reasoning by Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow

Get full text

Investigating Differences in Behavior and Brain in Human-Human and Human-Autonomous Vehicle Interactions in Time-Critical Situations by Anirudh Unni, Alexander Trende, Claire Pauley, Lars Weber, Bianca Biebl, Severin Kacianka, Andreas Lüdtke, Klaus Bengler, Alexander Pretschner, Martin Fränzle, Martin Fränzle, Jochem W. Rieger

Get full text

Driver's turning intent recognition model based on brain activation and contextual information by Alexander Trende, Anirudh Unni, Mischa Jablonski, Bianca Biebl, Andreas Lüdtke, Martin Fränzle, Jochem W. Rieger

Get full text

Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks by Mohamed Abdelaal, Oliver Theel, Christian Kuka, Peilin Zhang, Yang Gao, Vasilisa Bashlovkina, Daniela Nicklas, Martin Fränzle

Get full text