Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- decision making
- formal specification
- transition systems
- model checking
- petri net
- cooperative
- robotic systems
- decision makers
- design decisions
- making decisions
- decision model
- real time
- autonomous vehicles
- autonomous navigation
- autonomous systems
- autonomous learning
- case study