\mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes.

Nathalie Cauchi Alessandro Abate

Published in: TACAS (2) (2019)

Keyphrases

stochastic processes
automated verification
model checking
stochastic process
automated reasoning
formal verification
probability distribution
random fields
markov processes
random variables
graph theory
dynamic bayesian networks
artificial intelligence
probabilistic model
markov random field
markov chain