A fuzzy real-time temporal logic
暂无分享,去创建一个
[1] Rajeev Alur,et al. Parametric temporal logic for “model measuring” , 2001, TOCL.
[2] Lluís Godo Lacasa,et al. On Fuzzy Temporal Constraint Networks , 1994 .
[3] Oded Maler,et al. Robust Satisfaction of Temporal Logic over Real-Valued Signals , 2010, FORMATS.
[4] Thomas A. Henzinger,et al. Real-time logics: complexity and expressiveness , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[5] Roque Marín,et al. Efficient resolution mechanism for fuzzy temporal constraint logic , 2000, Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000.
[6] Dejan Nickovic,et al. Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.
[7] Thomas A. Henzinger,et al. Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..
[8] Senén Barro,et al. Fuzzy modelling of the expert's knowledge in ECG-based ischaemia detection , 1996, Fuzzy Sets Syst..
[9] T. Van Le,et al. A fuzzy temporal logic scheme for fuzzy dynamic systems , 1995, Proceedings of Third Australian and New Zealand Conference on Intelligent Information Systems. ANZIIS-95.
[10] H. Thiele,et al. On fuzzy temporal logic , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.
[11] S. Dutta,et al. An event based fuzzy temporal logic , 1988, [1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic.
[12] Thomas A. Henzinger,et al. A really temporal logic , 1994, JACM.
[13] Doheon Lee,et al. Fuzzy branching temporal logic , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).
[14] Didier Dubois,et al. Processing fuzzy temporal knowledge , 1989, IEEE Trans. Syst. Man Cybern..
[15] Martine De Cock,et al. Fuzzifying Allen's Temporal Interval Relations , 2008, IEEE Transactions on Fuzzy Systems.
[16] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[17] Thomas A. Henzinger,et al. The benefits of relaxing punctuality , 1991, JACM.
[18] George J. Pappas,et al. Robustness of temporal logic specifications for continuous-time signals , 2009, Theor. Comput. Sci..
[19] Guangyuan Li,et al. Translating a Continuous-Time Temporal Logic into Timed Automata , 2003, APLAS.
[20] Didier Dubois,et al. Fuzziness and Uncertainty in Temporal Reasoning , 2003, J. Univers. Comput. Sci..
[21] Andrew Piziali,et al. Functional verification coverage measurement and analysis , 2004 .
[22] M.A. Cardenas-Viedma,et al. A sound and complete fuzzy temporal constraint logic , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).
[23] Hans Jürgen Ohlbach. Fuzzy Time Intervals System Description of the FuTI-Library , 2006, PPSWR.
[24] Scott Little,et al. Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice , 2012, TODE.