A User Guide for TaLiRo
暂无分享,去创建一个
[1] Dejan Nickovic,et al. Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.
[2] George J. Pappas,et al. Robust Sampling for MITL Specifications , 2007, FORMATS.
[3] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[4] Antoine Girard,et al. Temporal Logic Verification Using Simulation , 2006, FORMATS.
[5] Thomas A. Henzinger,et al. Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..
[6] Philippe Schnoebelen,et al. Systems and Software Verification , 2001, Springer Berlin Heidelberg.
[7] Insup Lee,et al. Model-based testing and monitoring for hybrid embedded systems , 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..
[8] George J. Pappas,et al. Robustness of Temporal Logic Specifications , 2006, FATES/RV.
[9] Vijay Kumar,et al. Adaptive RRTs for Validating Hybrid Robotic Control Systems , 2004, WAFR.
[10] George J. Pappas,et al. Robustness of Temporal Logic Specifications for Finite State Sequences in Metric Spaces Technical Report MS-CIS-0605 May , 2006 , 2006 .
[11] Olaf Stursberg,et al. On Systematic Simulation of Open Continuous Systems , 2003, HSCC.
[12] Philippe Schnoebelen,et al. Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .
[13] Stephan Merz,et al. Model Checking , 2000 .
[14] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[15] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[16] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.