[1] Christe B,Joost P K.Principles of Model Checking[M].Cambridge:The MIT Press,2008.
[2] Pnueli A,Rosner R.On the synthesis of a reactive module[A].Proceeding.POPL'89 Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages[C].New York:IEEE,1989.179-190.
[3] Almagor S,Boker U,Kupferman O.Formalizing and reasoning about quality[A].Automata,Languages,and Programming,ICALP 2013.Lecture Notes in Computer Science[C].Berlin:Springer-Verlag Berlin Heidelberg,2013.15-27.
[4] 林慧民,张文辉.模型检测:理论、方法与应用[J].电子学报,2002,36(12A):1907-1912. LIN Hui-min,ZHANG Wen-hui.Model checking:theories,techniques and applications[J].Acta Electronica Sinica,2002,36(12A):1907-1912.(in Chinese)
[5] Zadeh L A.Fuzzy Sets,Fuzzy Logic,and Fuzzy Systems[M].London:World Scientific Press,1996.
[6] Seong-ick M,Ko-Hsin L,Doheo L.Fuzzy branching temporal logic[J].IEEE Transactions on System,Man and Cybernetics,Part B (Cybernetics),2004,34(2):1045-1055.
[7] Subhankar M,Pallab D.A fuzzy real-time temporal logic[J].International Journal of Approximate Reasoning,2013,54(9):1452-1470.
[8] Pan H Y,Li Y M,Cao Y Z,Ma Z Y.Model checking fuzzy computation tree logic[J].Fuzzy Sets and Systems,2015,262(C):60-77.
[9] Li Y M.Quantitative model checking of linear-time properties based on generalized possibility measures[J].Fuzzy Sets and Systems,2017,320(C):17-39.
[10] Krzysztif R A,Erich G.Lectures in Game Theory for Computer Scientists[M].Cambridge:Cambridge University Press,2011.
[11] Erich G,Wolfgang T,Thomas W.Automata,Logics,and Infinite Games:A Guide to Current Research[M].New York:Springer-Verlag Berlin Heidelberg,2002.
[12] 李永明,李平.模糊计算理论[M].北京:科学出版社,2016.
[13] 李永明.可能LTL模型检测的两种方法[J].陕西师范大学学报,2014,42(6):21-25. LI Y M.Two methods of possibility LTL model checking[J].Journal of Shaanxi Normal University,2014,42(6):21-25.(in Chinese)
[14] Kupferman O,Lustig Y.Lattice automata[A].Verification,Model Checking,and Abstract Interpretation.VMCAI 2007.Lecture Notes in Computer Science[C].Berlin:Springer-Verlag Berlin Heidelberg,2007.199-213.
[15] Sven S.Solving parity games in big steps[J].Journal of Computer and System Sciences,2017,84(C):243-262.
[16] Pan H Y,Li Y M,Cao Y Z,Li D C.Reachability in fuzzy game graphs[J/OL].IEEE Transcations on Fuzzy Systems,http://dx.doi.org/10.1109/TFUZZ.2016.2593495,2016.
[17] Lucada,Thomas A H.Concurrent omega-regular games[A].Proceedings 15th Annual IEEE Symposium on Logic in Computer Science[C].USA:IEEE,2000.26-28. |