Formal Plausibility Checks for Environment Constraints.

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

Published in: FDL (Selected Papers) (2012)

Keyphrases

mobile robot
real time
neural network
constraint satisfaction
linear programming
context aware
robotic systems
indoor environments
probability theory