Timed Automata with Periodic Clock Constraints
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. A Determinizable Class of Timed Automata , 1994, CAV.
[2] B. Bérard,et al. Accepting Zeno words without stopping time Research Report LSV , 1997 .
[3] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[4] Thomas A. Henzinger,et al. Robust Timed Automata , 1997, HART.
[5] C. C. Elgot,et al. Sets recognized by n-tape automata , 1969 .
[6] Jacques Sakarovitch,et al. Synchronized Rational Relations of Finite and Infinite Words , 1993, Theor. Comput. Sci..
[7] Thomas Wilke,et al. Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata , 1994, FTRTFT.
[8] Thomas A. Henzinger,et al. Back to the future: towards a theory of timed regular languages , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
[9] Thomas A. Henzinger,et al. Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..
[10] Thomas A. Henzinger,et al. The Expressive Power of Clocks , 1995, ICALP.
[11] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..