Action Transducers and Timed Automata.
Nancy A. LynchFrits W. VaandragerPublished in: Formal Aspects Comput. (1996)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- artificial intelligence
- first order logic
- finite automata
- theorem proving
- real time
- action rules
- action sequences
- real time systems
- finite state machines
- database
- inference rules
- action selection
- human actions
- action recognition
- probability distribution
- spatio temporal
- decision making