Applying Probabilistic Model Checking to Path Planning for a Smart Multimodal Transportation System Using IoT Sensor Data.
Xiaoxian YangYuting WeiLinxiang ShiLin ChenPublished in: Mob. Networks Appl. (2023)
Keyphrases
- sensor data
- path planning
- model checking
- smart environments
- temporal logic
- mobile robot
- sensor networks
- path planning algorithm
- location information
- formal specification
- formal verification
- dynamic environments
- temporal properties
- human activities
- finite state
- model checker
- verification method
- data streams
- motion planning
- formal methods
- autonomous vehicles
- multi robot
- automated verification
- optimal path
- sensor measurements
- bounded model checking
- raw sensor data
- degrees of freedom
- transition systems
- epistemic logic
- decision making
- alternating time temporal logic