Comments on "A Controllability Counterexample" and the Continuation Lemma.

David L. Elliott Lin Tie

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

Keyphrases

model checking
johnson lindenstrauss
formal verification
cooperative
temporal reasoning
partial observability
data sets
multimedia
three dimensional
similarity measure
expert systems
association rules
mobile robot
simple temporal