A counterexample on overtaking optimality.

Andrzej S. Nowak Oscar Vega-Amaya

Published in: Math. Methods Oper. Res. (1999)

Keyphrases

model checking
optimal solution
formal verification
real time
pattern recognition
management system
optimality criterion
data mining
image processing
three dimensional
cooperative
natural language
object recognition
pairwise
vehicle detection