Tuktuk Patrol Iva Verified Here

Autonomous vehicles are increasingly being used for various applications, including patrol and surveillance. Tuktuks, being a popular mode of transportation, are an attractive platform for autonomous patrol systems. However, the development of autonomous systems requires rigorous testing and verification to ensure safety and reliability. Formal verification techniques, such as model checking, can help ensure that the system meets its specifications and is free from errors.

We present a case study on the verification of the Tuktuk Patrol IVA system. We model the system using IVA and then verify its behavior against the safety and liveness properties mentioned earlier. Our results show that the system satisfies the properties, ensuring safe and reliable operation. tuktuk patrol iva verified

"Verification of Autonomous Tuktuk Patrol System using Interval-Valued Automata (IVA)" Autonomous vehicles are increasingly being used for various