Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge.
Miroslav ChodilAntonín KuceraJan KretínskýPublished in: Principles of Systems Design (2022)
Keyphrases
- bounded model checking
- temporal logic
- model checking
- bayesian networks
- satisfiability problem
- probabilistic model
- np complete
- generative model
- computation tree logic
- temporal properties
- data driven
- posterior probability
- uncertain data
- information theoretic
- propositional logic
- probabilistic reasoning
- computational complexity
- neural network