Temporal Logic Verific ation Using Simulation
暂无分享,去创建一个
[1] Antoine Girard,et al. Verification Using Simulation , 2006, HSCC.
[2] Antoine Girard,et al. Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.
[3] George J. Pappas,et al. Approximate Bisimulations for Constrained Linear Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[4] George J. Pappas,et al. Approximate Bisimulations for Nonlinear Dynamical Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[5] Thomas A. Henzinger,et al. Model checking discounted temporal properties , 2005, Theor. Comput. Sci..
[6] Thomas A. Henzinger,et al. Quantifying Similarities Between Timed Systems , 2005, FORMATS.
[7] Joël Ouaknine,et al. On the decidability of metric temporal logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
[8] Goran Frehse,et al. PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.
[9] Rajeev Alur,et al. Perturbed Timed Automata , 2005, HSCC.
[10] Antoine Girard,et al. Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.
[11] Dejan Nickovic,et al. Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.
[12] Vijay Kumar,et al. Adaptive RRTs for Validating Hybrid Robotic Control Systems , 2004, WAFR.
[13] Marc Geilen,et al. Real-time property preservation in approximations of timed systems , 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..
[14] Olaf Stursberg,et al. On Systematic Simulation of Open Continuous Systems , 2003, HSCC.
[15] Antoine Girard,et al. Reachability Analysis of Nonlinear Systems Using Conservative Approximation , 2003, HSCC.
[16] Olivier Bournez,et al. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.
[17] Bruce H. Krogh,et al. Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations , 1999, HSCC.
[18] T. Henzinger,et al. Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.
[19] Joseph Sifakis,et al. Model checking , 1996, Handbook of Automated Reasoning.
[20] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[21] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[22] Grigore Rosu,et al. Monitoring Algorithms for Metric Temporal Logic Specifications , 2004, RV@ETAPS.