A CTL Model Checker for Stochastic Automata Networks.

Lucas Oleksinski Claiton Correa Fernando Luís Dotti Afonso Sales

Published in: QEST (2013)

Keyphrases

model checking
model checker
temporal logic
finite state
symbolic model checking
formal verification
formal specification
epistemic logic
formal methods
transition systems
ai planning
modal logic
description language
programming language
data analysis
multi agent systems
reinforcement learning