research
∙
06/26/2023
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
In this paper, a quantitative risk assessment approach is discussed for ...
share
research
∙
02/19/2023
Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?
Cyber-physical systems, such as learning robots and other autonomous sys...
research
∙
03/16/2022
Sound Development of Safety Supervisors
Safety supervisors are controllers enforcing safety properties by keepin...
research
∙
10/25/2021
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems
Verified controller synthesis uses world models that comprise all potent...
research
∙
10/25/2021
Complete Agent-driven Model-based System Testing for Autonomous Systems
In this position paper, a novel approach to testing complex autonomous t...
research
∙
06/27/2021
Effective grey-box testing with partial FSM models
For partial, nondeterministic, finite state machines, a new conformance ...
research
∙
05/25/2021