Timed Alternating-Time Temporal Logic.

Thomas A. Henzinger Vinayak S. Prabhu

Published in: FORMATS (2006)

Keyphrases

alternating time temporal logic
model checking
timed automata
petri net
imperfect information
temporal logic
finite state machines
formal verification
temporal properties
formal specification
computation tree logic
markov chain
virtual environment