Towards a Robot Perception Specification Language.
Nico HochgeschwenderSven SchneiderHolger VoosGerhard K. KraetzschmarPublished in: CoRR (2014)
Keyphrases
- specification language
- formal specification
- mobile robot
- programming language
- description language
- symbolic execution
- human robot interaction
- multi robot
- path planning
- robotic systems
- robot navigation
- internal representations
- service robots
- autonomous robots
- humanoid robot
- requirements specification
- software engineering
- machine learning
- software environment
- sensory information
- open source
- model checker
- dynamic environments
- vision system