A parametric analysis of the state-explosion problem in model checking.

Stéphane Demri François Laroussinie Philippe Schnoebelen

Published in: J. Comput. Syst. Sci. (2006)

Keyphrases

model checking
temporal logic
finite state machines
symbolic model checking
transition systems
formal verification
finite state
temporal properties
verification method
belief state
epistemic logic
artificial intelligence
reinforcement learning
planning domains
automated verification
abstract interpretation