Reachability analysis for managing platoons at intersections.

Ibtissem Ben Makhlouf Hilal Diab Stefan Kowalewski

Published in: MED (2013)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
state space
temporal logic
data mining
reinforcement learning
relational databases
sufficient conditions