Login / Signup
Automatically proving the correctness of vehicle coordination.
Mikael Asplund
Published in:
ICT Express (2018)
Keyphrases
</>
automatically generated
multi agent
cooperative
pedestrian detection
vehicle speed
distributed agents
database
neural network
case study
multi agent systems
virtual enterprise
vehicle detection
traffic light