LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees

Xu Chu Ding Stephen L. Smith Calin Belta Daniela Rus

Published in: CoRR (2011)

Keyphrases

uncertain environments
autonomous systems
control system
bayesian networks
probabilistic model
multi robot
object recognition
high resolution
model checking
situation awareness
deterministic automata
dynamic and uncertain environments