Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes.
Yongming LiWuniu LiuJunmei WangXianfeng YuChao LiPublished in: IEEE Trans. Fuzzy Syst. (2023)
Keyphrases
- model checking
- temporal properties
- possibility theory
- decision processes
- temporal logic
- possibilistic logic
- formal verification
- automated verification
- symbolic model checking
- model checker
- timed automata
- markov decision processes
- formal specification
- finite state
- verification method
- transition systems
- conditional independence
- fuzzy set theory
- epistemic logic
- formal methods
- reasoning process
- decision problems
- logic programming
- probability theory
- computation tree logic
- decision making
- decision process
- learning algorithm
- nonmonotonic reasoning
- fuzzy numbers
- belief revision
- petri net
- bounded model checking
- reinforcement learning