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