On the software engineering challenges of applying reactive synthesis to robotics.
Shahar MaozJan Oliver RingertPublished in: RoSE@ICSE (2018)
Keyphrases
- software engineering
- artificial intelligence
- computer vision
- lessons learned
- formal methods
- software systems
- autonomous navigation
- object oriented
- reverse engineering
- key issues
- requirements elicitation
- requirements engineering
- application scenarios
- software maintenance
- knowledge engineering
- programming language
- user interface
- case study
- neural network
- databases
- design principles
- human computer interaction
- mobile robot
- software engineers
- robot control
- program synthesis
- database