Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic
暂无分享,去创建一个
[1] Joseph Sifakis,et al. Compositional Specification of Timed Systems (Extended Abstract) , 1996, STACS.
[2] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[3] Deepak D'Souza,et al. On Timed Automata with Input-Determined Guards , 2004, FORMATS/FTRTFT.
[4] Dejan Nickovic,et al. Real Time Temporal Logic: Past, Present, Future , 2005, FORMATS.
[5] Deepak D'Souza,et al. Conflict-Tolerant Features , 2008, CAV.
[6] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[7] Deepak D'Souza,et al. Conflict-Tolerant Real-Time Features , 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.
[8] Robert H. Bishop. Modern Control Systems Analysis and Design Using Matlab , 1993 .
[9] Dejan Nickovic,et al. From MITL to Timed Automata , 2006, FORMATS.
[10] Sumesh Divakaran,et al. Conflict-tolerant specifications in temporal logic , 2010, ISEC.
[11] Thomas A. Henzinger,et al. The benefits of relaxing punctuality , 1991, JACM.