Abstraction and approximation in fuzzy temporal logics and models
暂无分享,去创建一个
[1] Amir Pnueli,et al. Timing analysis of asynchronous circuits using timed automata , 1995, CHARME.
[2] Jørn Lind-Nielsen,et al. BuDDy : A binary decision diagram package. , 1999 .
[3] Bart De Moor,et al. Implementation and Applications , 1996 .
[4] Christopher D. Thompson-Walsh,et al. /spl chi/Chek: A model checker for multi-valued reasoning , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
[5] Christopher D. Thompson-Walsh,et al. \chiChek: A Model Checker for Multi-Valued Reasoning , 2003, ICSE.
[6] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[7] Enrico Tronci,et al. A Model Checking Technique for the Verification of Fuzzy Control Systems , 2005, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06).
[8] Michitaka Kameyama,et al. Design and implementation of quaternary NMOS integrated circuits for pipelined image processing , 1987 .
[9] Jorge García Duque,et al. Multi-valued Model Checking in Dense-Time , 2005, ECSQARU.
[10] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[11] Valentin Goranko,et al. Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..
[12] W. Pedrycz,et al. Design of fuzzy systems with fuzzy flip-flops , 1995, IEEE Trans. Syst. Man Cybern..
[13] Kenneth C. Smith. The Prospects for Multivalued Logic: A Technology and Applications View , 1981, IEEE Transactions on Computers.
[14] Christel Baier,et al. Principles of model checking , 2008 .
[15] Georgios Fainekos,et al. An Introduction to Multi-Valued Model Checking , 2005 .
[16] Edmund M. Clarke,et al. Symbolic model checking for sequential circuit verification , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[17] Vijay V. Vazirani,et al. Approximation Algorithms , 2001, Springer Berlin Heidelberg.
[18] Liliana Pasquale,et al. Fuzzy Time in LTL , 2012, ArXiv.
[19] Nataša Sladoje,et al. On analysis of discrete spatial fuzzy sets in 2 and 3 dimensions , 2005 .
[20] George Epstein,et al. The development of multiple-valued logic as related to computer science , 1974, Computer.
[21] László T. Kóczy,et al. Fuzzy flip-flop , 1996 .
[22] François Laroussinie. Christel Baier and Joost-Pieter KatoenPrinciples of Model Checking. MIT Press (May 2008).ISBN: 978-0-262-02649-9, 975 pp. Hardcover , 2010, Comput. J..
[23] Marsha Chechik,et al. Data structures for symbolic multi-valued model-checking , 2006, Formal Methods Syst. Des..
[24] Kenneth C. Smith,et al. A multiple valued logic: a tutorial and appreciation , 1988, Computer.
[25] Paul A. Cunningham,et al. Verification of asynchronous circuits , 2004 .
[26] Christel Baier,et al. Principles of Model Checking (Representation and Mind Series) , 2008 .
[27] Patrice Godefroid,et al. Model Checking with Multi-valued Logics , 2004, ICALP.
[28] Liang Wang,et al. Cell mapping description for digital control system with quantization effect , 2007, ArXiv.
[29] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[30] N. Ikoma,et al. Summary of fuzzy flip-flop , 1995, Proceedings of 1995 IEEE International Conference on Fuzzy Systems..
[31] Mark Ryan,et al. Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .
[32] Stanley L. Hurst,et al. Multiple-Valued Logic—its Status and its Future , 1984, IEEE Transactions on Computers.
[33] Marta Z. Kwiatkowska,et al. Symbolic model checking for probabilistic timed automata , 2007, Inf. Comput..
[34] Doheon Lee,et al. Fuzzy branching temporal logic , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).
[35] Luciano Baresi,et al. Fuzzy Goals for Requirements-Driven Adaptation , 2010, 2010 18th IEEE International Requirements Engineering Conference.
[36] Kaoru Hirota,et al. The concept of fuzzy flip-flop , 1989, IEEE Trans. Syst. Man Cybern..
[37] S VasundaraPatelK,et al. Quaternary Sequential Circuits , 2010 .
[38] Nelly Bencomo,et al. RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems , 2009, 2009 17th IEEE International Requirements Engineering Conference.
[39] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..
[40] Wojciech Penczek,et al. On Designated Values in Multi-valued CTL* Model Checking , 2004, Fundam. Informaticae.
[41] Arto Salomaa,et al. Lexical Analysis with a Simple Finite-Fuzzy-Automaton Model , 1996 .