State explosion in almost-sure probabilistic reachability.

François Laroussinie Jeremy Sproston

Published in: Inf. Process. Lett. (2007)

Keyphrases

state space
probabilistic model
artificial intelligence
three dimensional
databases
information retrieval
social networks
computer vision
artificial neural networks
data driven
state variables