Tuktuk Patrol Iva Verified -

"Verification of Autonomous Tuktuk Patrol System using Interval-Valued Automata (IVA)"