Falsification aims to disprove the safety of systems by providing counter-examples that lead
to a violation of safety properties. In this work, we present two novel falsification methods to …

Many real-world human behaviors can be modeled and characterized as sequential
decision-making processes, such as a taxi driver's choices of working regions and times …

The intelligent application of simulation is of central importance for the successful
development and testing of automated driving functions. Realistic virtual environments are …

This thesis introduces fail-safe motion planning as the first approach to guarantee legal
safety of autonomous vehicles in arbitrary traffic situations. The proposed safety layer …

With the fast pace of global urbanization and the wide use of smart devices and GPS sets,
there are massive human-generated spatial-temporal data in the urban environment, eg, the …

In platoon driving, several autonomous vehicles communicate to exchange information with
each other and drive in a single cluster. The platooning technology has various advantages …

요 약군집주행은 여러 대의 자율 주행 차량이 통신을 사용하여 서로 정보를 교환하며 하나의
군집을 이루어 주행하는 것이다. 이러한 군집주행 기술은더 좁은 차량 간 간격을 유지하며 …