Extending CTL with Actions and Real Time.

David N. Jansen Roel J. Wieringa

Published in: J. Log. Comput. (2002)

Keyphrases

real time
model checking
temporal logic
neural network
artificial intelligence
case study
high speed
vision system
human activities
human actions
decision theoretic
state transitions