Verified - Tuktuk Patrol Iva

Tuktuks, also known as auto-rickshaws, are a popular mode of transportation in many Asian countries. With the advent of autonomous technology, there is a growing interest in developing autonomous tuktuks for patrol and surveillance applications. In this paper, we propose a formal verification approach for an autonomous tuktuk patrol system using Interval-Valued Automata (IVA). We present a case study on the verification of the Tuktuk Patrol IVA system, which is designed to navigate through a predefined route while maintaining a safe distance from obstacles. Our verification approach ensures that the system satisfies safety and liveness properties, such as collision avoidance and route completion.

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. tuktuk patrol iva verified

"Verification of Autonomous Tuktuk Patrol System using Interval-Valued Automata (IVA)" Tuktuks, also known as auto-rickshaws, are a popular