A Probabilistic Logic for Verifying Continuous-time Markov Chains.
Ji GuanNengkun YuPublished in: TACAS (2) (2022)
Keyphrases
- probabilistic logic
- continuous time markov chains
- markov processes
- maximum entropy
- poisson distribution
- probabilistic reasoning
- default reasoning
- numerically stable
- model checking
- random fields
- probability theory
- markov chain
- stochastic processes
- markov process
- temporal logic
- probabilistic inference
- bayesian networks
- first order logic
- probabilistic model
- pairwise