W. Damm, M. Fränzle, W. Hagemann, P. Kröger, A. Rakow: Justification Based Reasoning in Dynamic Conflict Resolution, 2019

• technical report
• implementation case study

W. Damm, M. Fränzle, W. Hagemann, P. Kröger, A. Rakow: Justification Based Reasoning in Dynamic Conflict Resolution, Technical Report, 2019

• implementation case study

S. Puch: Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme, Dissertation, to be submitted

• bouncing ball
• driving scenarios

S. Puch, M. Fränzle, und S. Gerwinn: Quantitative Risk Assessment of Safety-critical Systems via Guided Simulation for Rare Events, ISoLA 2018

• bouncing ball

S. Puch, B. Wortelen, M. Fränzle, und T. Peikenkamp: Evaluation of Drivers Interaction with Assistant Systems using Criticality Driven Guided Simulation, HCII 2013

• driving scenarios

S. Puch, B. Wortelen, M. Fränzle, und T. Peikenkamp: Using Guided Simulation to Improve a Model-Based Design Process of Complex Human Machine Systems, ESM 2012

• driving scenarios