Subject
General Computer Science,Theoretical Computer Science
Reference66 articles.
1. The birth of model checking;Clarke,2008
2. Counterexample-guided abstraction refinement;Clarke,2000
3. Counterexample-guided abstraction refinement for symbolic model checking;Clarke;J. ACM,2003
4. Probabilistic CEGAR;Hermanns,2008
5. A counterexample-guided abstraction-refinement framework for Markov decision processes;Chadha;ACM Trans. Comput. Log.,2010
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strong Simple Policies for POMDPs;International Journal on Software Tools for Technology Transfer;2024-06
2. Formal Methods for Autonomous Systems;Foundations and Trends® in Systems and Control;2023
3. A Debugging Game for Probabilistic Models;Formal Aspects of Computing;2022-06-30
4. A systematic literature review on counterexample explanation;Information and Software Technology;2022-05
5. Multi-Objective Controller Synthesis with Uncertain Human Preferences;2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS);2022-05