共 50 条
[22]
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
[J].
ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I,
2010, 6319
:209-221
[23]
Abstraction for model checking multi-agent systems
[J].
Frontiers of Computer Science in China,
2011, 5
:14-25
[26]
Incompleteness, counterexamples, and refinements in abstract model-checking
[J].
STATIC ANALYSIS, PROCEEDINGS,
2001, 2126
:356-373
[28]
Directed Model Checking for Fast Abstract Reachability Analysis
[J].
IEEE ACCESS,
2021, 9
:158738-158750
[29]
Detecting Spurious Counterexamples Efficiently in Abstract Model Checking
[J].
PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013),
2013,
:202-211