With the further development of automated driving, the functional performance increases
resulting in the need for new and comprehensive testing concepts. This doctoral work aims …

Autonomous driving is a disrupting technology that is expected to reshape transportation
systems. The benefits of autonomous vehicles include, but are not limited to, safer …

无人驾驶汽车系统过大的输入-输出空间 (即输入和输出的所有可能组合), 使得为其提供形式化
保证变成一项具有挑战性的任务. 提出了一种自动验证技术, 通过结合凸优化和深度学习验证 …

This paper proposes a framework for generation of collision-free reference trajectories in a
cooperative multi-agent setting. The approach is hierarchical: a high-level controller …

Software reliability can be ensured by using software verification techniques including
model checking. A model checker takes a software model along with formal specifications …

This thesis is set within the context of the problem of motion planning in autonomous driving.
Due to nonlinear system dynamics and non-convex constraints, this problem is challenging …

As a direct contribution to recent efforts of bringing formal design-by-contract methods to
hybrid systems, we introduce a variant of modal interface contract theory based on …

This thesis combines three formal verification techniques—theorem proving, satisfiability
checking (runtime monitoring), and reachability analysis—for formally analysing …

This thesis combines three formal verification techniques—theorem proving, satisfiability
checking (runtime monitoring), and reachability analysis—for formally analysing …

An important traffic situation that needs to be considered in the development of autonomous
vehicles is multilane driving. When developing a control system for multi-lane driving, it is …