PuRSUE -from specification of robotic environments to synthesis of controllers.
Marcello M. BersaniMatteo SoldoClaudio MenghiPatrizio PelliccioneMatteo RossiPublished in: Formal Aspects Comput. (2020)
Keyphrases
- robotic systems
- human operators
- autonomous robots
- program synthesis
- real world
- control loop
- control system
- mobile robot
- controller synthesis
- unstructured environments
- real time
- formal specification
- dynamic environments
- high level
- database
- control strategy
- user defined
- highly dynamic
- multi agent
- formal methods
- service robots
- reinforcement learning
- case study