StocHy: automated verification and synthesis of stochastic processes.
Nathalie CauchiKurt DegiorgioAlessandro AbatePublished in: CoRR (2019)
Keyphrases
- stochastic processes
- automated verification
- model checking
- automated reasoning
- stochastic process
- formal verification
- probability distribution
- random fields
- markov processes
- random variables
- continuous time bayesian networks
- dynamic bayesian networks
- conditional random fields
- non stationary
- graph theory
- knowledge representation
- similarity measure