Liveness Checking as Safety Checking for Infinite State Spaces.

Viktor Schuppan Armin Biere

Published in: INFINITY (2005)

Keyphrases

state space
multiscale
markov chain
data sets
decision trees
expert systems
learning environment
hidden markov models
mobile robot