Login / Signup
Automated Game Analysis via Probabilistic Model Checking: a case study.
Paolo Ballarini
Michael Fisher
Michael J. Wooldridge
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
model checking
temporal logic
temporal properties
finite state machines
formal verification
formal specification
finite state
model checker
transition systems
bounded model checking
artificial intelligence
verification method
concurrent systems
timed automata
linear temporal logic
abstract interpretation