Towards Validating a Platoon of Cristal Vehicles Using CSP||B.
Samuel ColinArnaud LanoixOlga KouchnarenkoJeanine SouquièresPublished in: AMAST (2008)
Keyphrases
- traffic flow
- constraint satisfaction problems
- constraint satisfaction
- road traffic
- decomposition methods
- real time
- traffic congestion
- moving vehicles
- constraint propagation
- constraint programming
- vehicle tracking
- arc consistency algorithm
- travel time
- traffic information
- np hard
- urban traffic
- vehicle detection
- traffic scenes
- constraint solving
- intelligent transportation systems
- tree decomposition
- constraint networks
- arc consistency
- transportation systems
- traffic accidents
- pick up and delivery
- tree decompositions
- partial constraint satisfaction
- random instances
- unmanned aerial vehicles
- phase transition
- user interface
- genetic algorithm
- data sets