Our verification approach involves modeling the Tuktuk Patrol IVA system using IVA and then checking its behavior against safety and liveness properties. We use a model checking algorithm to verify that the system satisfies properties such as:
, the introduction of modern tuktuks is part of urban progress to replace traditional pedicabs for better safety and accessibility. Safety and Practical Tips for Real Tuktuks tuktuk patrol iva verified