Lagrangian Reachabililty.

Jacek Cyranka Md. Ariful Islam Greg Byrne Paul L. Jones Scott A. Smolka Radu Grosu

Published in: CAV (1) (2017)

Keyphrases

prize collecting
lagrangian relaxation
optimal solution
data sets
computer vision
numerical methods
relaxation algorithm
three dimensional
bayesian networks
multi agent
special case
integer programming
dual formulation
duality gap