Login / Signup

Modeling and checking robustness of communicating autonomous vehicles.

Johan ArcileRaymond R. DevillersHanna KlaudelWitold KlaudelBozena Wozna-Szczesniak
Published in: DCAI (2017)
Keyphrases
  • autonomous vehicles
  • structured environments
  • path planning
  • obstacle avoidance
  • real time
  • probabilistic model
  • simulated annealing
  • multiagent systems