1 citations · 2 across the 3 of their papers we have counts for
3 papers
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
Jonas Krook, Yuvaraj Selvaraj, Wolfgang Ahrendt +1
The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and…
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt +1
Cyber-physical systems are often safety-critical and their correctness is crucial, as in the case of automated driving. Using formal mathematical methods is one way to guarantee co…
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
Jonas Krook, Robi Malik, Sahar Mohajerani +1
This paper proposes a method to synthesise controllers for cyber-physical systems such that the controlled systems satisfy specifications given as linear temporal logic formulas. T…