research
∙
08/26/2020
Systematic Analysis of the Sensor Coverage of Automated Vehicles Using Phenomenological Sensor Models
The objective of this paper is to propose a systematic analysis of the s...
share
research
∙
06/12/2020
Enumerating Teams in First-Order Team Logics
We start the study of the enumeration complexity of different satisfiabi...
research
∙
02/01/2019
