Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost
暂无分享,去创建一个
Weijun Li | Yingnan Gao | Zhanyou Ma | Zhaokai Li | Xia Li
[1] Yongming Li,et al. Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking , 2021, IEEE Transactions on Fuzzy Systems.
[2] Yong Deng,et al. Decision making under measure-based granular uncertainty with intuitionistic fuzzy sets , 2021, Applied Intelligence.
[3] Wei Yang,et al. A novel additive consistency for intuitionistic fuzzy preference relations in group decision making , 2020, Applied Intelligence.
[4] Stéphane Lafortune,et al. Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking , 2020, IEEE Transactions on Control Systems Technology.
[5] Zhanyou Ma,et al. Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures , 2019, 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech).
[6] F. Meng,et al. Programming model-based method for ranking objects from group decision making with interval-valued hesitant fuzzy preference relations , 2018, Applied Intelligence.
[7] Chao Yang,et al. Approximate bisimulation relations for fuzzy automata , 2018, Soft Comput..
[8] Wen Xiong,et al. Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure , 2017, IEEE Transactions on Computers.
[9] Manfred Droste,et al. Model checking of linear-time properties in multi-valued systems , 2012, Inf. Sci..
[10] Robert LIN,et al. NOTE ON FUZZY SETS , 2014 .
[11] Shengli Zhang,et al. Expressive power of linear-temporal logic based on generalized possibility measures , 2016, 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).
[12] Marsha Chechik,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2016, Lecture Notes in Computer Science.
[13] Yongzhi Cao,et al. Model checking fuzzy computation tree logic , 2015, Fuzzy Sets Syst..
[14] Yongming Li,et al. Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures , 2014, IEEE Transactions on Fuzzy Systems.
[15] Yongming Li,et al. Computation Tree Logic Model Checking Based on Possibility Measures , 2014, Fuzzy Sets Syst..
[16] Liliana Pasquale,et al. Fuzzy Time in Linear Temporal Logic , 2014, TOCL.
[17] Subhankar Mukherjee,et al. A fuzzy real-time temporal logic , 2013, Int. J. Approx. Reason..
[18] Yongming Li,et al. Model Checking of Linear-Time Properties Based on Possibility Measure , 2012, IEEE Transactions on Fuzzy Systems.
[19] L. Garmendia,et al. AN ALGORITHM TO COMPUTE THE TRANSITIVE CLOSURE, A TRANSITIVE APPROXIMATION AND A TRANSITIVE OPENING OF A PROXIMITY , 2008 .
[20] Christel Baier,et al. Principles of model checking , 2008 .
[21] Marsha Chechik,et al. Data structures for symbolic multi-valued model-checking , 2006, Formal Methods Syst. Des..
[22] Christel Baier,et al. PROBMELA: a modeling language for communicating probabilistic processes , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
[23] Marsha Chechik,et al. chi-Chek: A Multi-valued Model-Checker , 2002, CAV.
[24] Marsha Chechik,et al. Model checking with multi-valued temporal logics , 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
[25] Luca de Alfaro,et al. Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation , 2000, TACAS.
[26] Christel Baier,et al. Symbolic Model Checking for Probabilistic Processes , 1997, ICALP.
[27] Micha Sharir,et al. Probabilistic Propositional Temporal Logics , 1986, Inf. Control..
[28] Hans-Jürgen Zimmermann,et al. Fuzzy Set Theory - and Its Applications , 1985 .