Toward trustworthy programming for autonomous concurrent systems.
Lavindra de SilvaAlan MycroftPublished in: AI Soc. (2023)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- model checking
- process algebra
- programming language
- transition systems
- formal specification
- cooperative
- reactive systems
- autonomous systems
- autonomous navigation
- robotic systems
- petri net
- programming environment
- development environment
- programming course
- formal methods
- trust management
- mobile robot
- neural network