µ-calculus Pushdown Module Checking with Imperfect State Information.

Benjamin Aminof Axel Legay Aniello Murano Olivier Serre

Published in: IFIP TCS (2008)

Keyphrases

state information
state space
action models
model checking
machine learning
action space