모델 검증을 이용한 게임 풀이

References

1. Model Checking E.M. Clarke;O. Grumberg;D. Peled
2. Proceedings of DAC' 95 Model Checking in Industrial Hardware Design J. Bormann;J. Lohse;M. Payer;G.Venzl
3. Proceedings of TACAS'98, LNCS v.1384 Modular model checking of software K. Laster;O. Grumberg
4. Proceedings of ASE Model Checking Programs G. Brat;K. Havelund;S.J. Park;W. Visser
5. Proceedings of LICS'02 Tree-like Counterexamples in Model Checking E.M. Clarke;S. Jha;Y. Lu;H. Veith
6. Proceedings of CAV'00 Counterexample-guided Abstraction Refinement E.M. Clarke;O. Grumberg;S. Jha;Y. Lu;H. Veith
7. Artificial Intelligence and Games
8. Proceedings of the ICCAD Least Fixpoint Approximations for Reachability Analysis I.H. Moon;J. Kukula;T. Shiple;F. Somenzi
9. ACM Transactions on Programming Languages and Systems v.8 no.2 Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications E.M. Clarke;E.A. Emerson;A.P. Sistla
10. PhD thesis, Carnegie Mellon University Symbolic Model Checking: An Approach to the State Explosion Problem K.L. McMillan
11. Proceedings of 10 Years Dagstuhl, LNCS 2000 Progress on the State Explosion Problem in Model Checking E.M. Clarke;O. Grumberg;S. Jha;Y. Lu;H. Veith
12. IEEE Transactions on Computer v.35 no.8 Graph-Based Algorithms for Boolean Function Manipulation R.E. Bryant
13. ACM Transactions on Programming Languages and Systems v.16 no.5 Model Checking and Abstraction E.M. Clarke;O. Grumberg;D.E. Long
14. Formal Methods in System Design no.8 Combining Partiall. Order Reductions with on-the-fly Model Checking D. Peled
15. Technical Report CMU-CS-98-106 Compositional Reasoning in Model Checking S. Berezin;S. Campos;E.M. Clarke
16. Proceedings of ISSTA'98 Improving Efficiency of Symbolic Model Checking for State-Based System Requirements W.Chan;R.J.Anderson;P.Beame;D.Notkin