Motion planning in crowds using statistical model checking to enhance the social force model.
Alessio ColomboDaniele FontanelliAxel LegayLuigi PalopoliSean SedwardsPublished in: CDC (2013)
Keyphrases
- model checking
- motion planning
- temporal logic
- degrees of freedom
- pedestrian dynamics
- mobile robot
- social force model
- temporal properties
- finite state
- path planning
- automated verification
- model checker
- epistemic logic
- formal specification
- timed automata
- formal verification
- multi robot
- humanoid robot
- formal methods
- computation tree logic
- verification method
- transition systems
- symbolic model checking
- belief space
- bounded model checking
- planning domains
- climbing robot
- cellular automata
- three dimensional
- social networks
- modal logic
- multi modal
- video sequences