Formal verification of complex robotic systems on resource-constrained platforms.
Mohammed FoughaliBernard BerthomieuSilvano Dal-ZilioPierre-Emmanuel HladikFélix IngrandAnthony MalletPublished in: FormaliSE@ICSE (2018)
Keyphrases
- resource constrained
- robotic systems
- formal verification
- resource constraints
- model checking
- sensor networks
- mobile robot
- wireless sensor networks
- vision system
- multi robot
- object manipulation
- resource limitations
- bounded model checking
- automated verification
- multipath
- model checker
- symbolic model checking
- multi agent systems
- leader follower