We perform a systematic literature review on testing, validation, and verification of robotic
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …

Many important properties of cyber-physical systems (CPS) are defined upon the
relationship between multiple executions simultaneously in continuous time. Examples …

Autonomous vehicles are gaining popularity throughout the world among researchers and
consumers. However, their popularity has not yet reached the level where it is widely …

In this work, we propose a compositional data-driven approach for the formal estimation of
collision risks for autonomous vehicles (AVs) with black-box dynamics while acting in a …

In automotive engineering, one of the ideas of vehicle cooperation is to improve convoy
movements to increase the safety and efficiency of transportation systems. The complexity …

Statistical model checking is a class of sequential algorithms that can verify specifications of
interest on an ensemble of cyber-physical systems (eg, whether 99% of cars from a batch …

This manuscript describes a number of contributions, I had the opportunity to work on, in the
field of formal methods for stochastic models. Research in formal methods is concerned with …

This thesis takes place in the context of autonomous vehicle design, and concerns more
specifically the verification of controllers of such vehicles. Our contributions are the …

Requirements Engineering (RE) plays an essential role in software project success. RE
illustrate system behavior such as safety that directly impacts the customer experience …

In automotive engineering, one of the ideas of vehicle cooperation is to improve convoy
movements to increase the safety and efficiency of transportation systems. The complexity …