UPPAAL is a formal modeling and verification tool based on timed automata, capable of
effectively analyzing real‐time software and hardware systems. In this article, we investigate …

The obstacle avoidance problem of unmanned aerial vehicle (UAV) mainly refers to the
design of a method that can safely reach the target point from the starting point in an …

Due to the rapid growth of the smart automotive industry, there has been a strong rise in
interest in Internet of Vehicles (IoV) technology recently. Establishing rapid and reliable …

With the widespread application of robots in aerospace, medicine, automation, and other
fields, their motion safety is essential for the well-being of humans and the accomplishment …

As robotic applications continue to expand and task complexity increases, the adoption of
more advanced and sophisticated control algorithms and models becomes critical …

The development of Urban Air Mobility (UAM) infrastructure has garnered significant
attention in recent years. Specifically, researchers have explored using Machine Learning …

In the context of the Edge-Cloud computing continuum, containerization and orchestration
have become two key requirements in software development best practices …

Assertion-based verification (ABV) is a well-known approach for checking the functional
correctness of a system. Since modern cyber-physical systems are increasingly complex …

Abstract Unmanned Aerial Vehicles (UAVs), particularly electrically powered multi-rotors,
are becoming increasingly popular in the entertainment, transportation, logistics, and military …