Formal plausibility checks for environment constraints.

Binghao Bao Jörg Bormann Markus Wedler Dominik Stoffel Wolfgang Kunz

Published in: FDL (2012)

Keyphrases

real time
mobile robot
database systems
data mining
learning environment
constraint satisfaction
constraint programming
test bed
formal model
constrained optimization
linear constraints