Safety Verification of Piecewise-Deterministic Markov Processes.

Rafael Wisniewski Christoffer Sloth Manuela-Luminita Bujorianu Nir Piterman

Published in: HSCC (2016)

Keyphrases

markov processes
markov process
markov chain
stochastic processes
random fields
continuous time bayesian networks
model checking
continuous time markov chains
non stationary
stochastic process
finite state