Fast Distributed Agreements and safety-critical scenarios in VANETs.

Gérard Le Lann

Published in: ICNC (2017)

Keyphrases

safety critical
fault tolerant
distributed systems
agent architecture
safety analysis
formal methods
embedded systems
nuclear power plant
multi agent
cooperative
support systems
real time
reinforcement learning
multi agent systems
computing environments