Formal methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …

Path planning and task scheduling are two challenging problems in the design of multiple
autonomous agents. Both problems can be solved by the use of exhaustive search …

Autonomous vehicles, such as construction machines, operate in hazardous environments,
while being required to function at high productivity. To meet both safety and productivity …

Autonomous driving systems (ADSs) integrate sensing, perception, drive control, and
several other critical tasks in autonomous vehicles, motivating research into techniques for …

The problem of synthesizing mission plans for multiple autonomous agents, including path
planning and task scheduling, is often complex. Employing model checking alone to solve …

Mass-produced passenger vehicles are one of the greatest inventions of the 20th century
that significantly changed human lives. Several safety measures such as traffic signs, traffic …

Autonomous Vehicles (AVs) rely on sophisticated Autonomous Driving Systems (ADSs) to
provide passengers a satisfying and safe journey. The individual preferences of riders plays …

Manufacturers of self-driving cars need to significantly improve the safety of their products
before the series of such cars are deployed in everyday use. A large number of architecture …

Mission planning is one of the crucial problems in the design of autonomous Multi-Agent
Systems (MAS), requiring the agents to calculate collision-free paths and efficiently schedule …

Autonomous systems are supposed to automatically plan their actions and execute the plan
without human intervention. In this paper, we propose a model-based two-layer frame-work …