Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems.
António CasimiroEmelie EkenstedtElad Michael SchillerPublished in: CoRR (2019)
Keyphrases
- safety critical
- formal methods
- safety analysis
- cooperative
- agent architecture
- support systems
- fault tolerant
- nuclear power plant
- regulatory requirements
- embedded systems
- data mining
- distributed systems
- adaptive systems
- software agents
- open source
- object oriented
- clinical data
- management system
- learning process
- learning environment
- machine learning
- real time