A controllability counterexample.

David L. Elliott

Published in: IEEE Trans. Autom. Control. (2005)

Keyphrases

model checking
formal verification
simple temporal
temporal reasoning
partial observability
knowledge base
database
artificial intelligence
three dimensional
high level
optimal solution
prior knowledge
image classification