Equivalence of Probabilistic \mu -Calculus and p-Automata.

Claudia Cauli Nir Piterman

Published in: CIAA (2017)

Keyphrases

probabilistic model
timed automata
cellular automata
uncertain data
probabilistic logic
bayesian networks
data driven
databases
finite automata
development environment
knowledge base
learning algorithm
temporal logic
information theoretic
finite state
case study
tree automata
database