Reasonong about Safety and Liveness Properties for Probabilistic Processes.

Linda Christoff Ivan Christoff

Published in: FSTTCS (1992)

Keyphrases

artificial intelligence
bayesian networks
information theoretic
decision making
uncertain data
video sequences
probabilistic model
structural properties
desirable properties
stochastic processes
probabilistic logic
probabilistic approaches