Programming Safe Robotics Systems: Challenges and Advances.
Ankush DesaiShaz QadeerSanjit A. SeshiaPublished in: ISoLA (2) (2018)
Keyphrases
- current challenges
- artificial intelligence
- management system
- technological advances
- ubiquitous and pervasive
- programming language
- building blocks
- programming environments
- computing systems
- complex systems
- real time
- knowledge based systems
- computer systems
- recent advances
- intelligent systems
- future directions
- key issues
- distributed systems
- general purpose
- open issues
- interactive systems
- website
- computer vision
- poses challenges
- neural network