StocHy - automated verification and synthesis of stochastic processes: poster abstract.
Nathalie CauchiAlessandro AbatePublished in: HSCC (2019)
Keyphrases
- stochastic processes
- automated verification
- stochastic process
- model checking
- automated reasoning
- formal verification
- probability distribution
- markov processes
- random fields
- random variables
- graphical models
- machine learning
- artificial intelligence
- markov random field
- knowledge representation
- prior knowledge
- video sequences
- image processing
- computer vision