Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories.

Anthony Narkawicz César A. Muñoz

Published in: Reliab. Comput. (2012)

Keyphrases

formal verification
conflict detection
learning algorithm
data structure
model checking
artificial intelligence
orders of magnitude
graph theory
digital libraries
fine grained
automated verification