To content
Fakultät für Informatik

Till Schallau and Lukas Westhofen present paper at Formal Methods 2026

Please provide a copyright notice
In our newest work, we extend classical test coverage of automated robotic systems with an open-world assumption.

Ever wondered how scenario test coverage can be extended to account for the intricacies of the real world? What if scenario data are incomplete and tag specifications have gray zones? Think: Occlusions, sensor failures, or imprecise traffic rules. In our newest work, we extend classical test coverage with an open world assumption.

Already on small data sets, computing coverage approximations under such an assumption turns out to be infeasible using brute-force and SMT-based approaches. Luckily, we came up with two efficient algorithms that enabled us to approximate coverage up to 10⁶ scenarios.

Want to know more about how we propose to extend standard temporal logics to allow for such gray zones in scenario tagging? Check out the full paper: https://doi.org/10.1007/978-3-032-26204-2_7