Affiliation:
1. School of Information, Kochi University of Technology
2. Graduate School of Informatics, Nagoya University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference20 articles.
1. [1] E.M. Clarke, O. Grumberg, D. Kroening, D. Peled, and H. Veith, Model checking, second ed., MIT Press, 2018.
2. [2] J. Esparza, A. Kučera, and S. Schwoon, “Model checking LTL with regular valuations for pushdown systems,” Inf. Comput., vol.186, no.2, pp.355-376, 2003. 10.1016/s0890-5401(03)00139-1
3. [3] M. Kaminski and N. Francez, “Finite-memory automata,” Theor. Comput. Sci., vol.134, no.2, pp.329-363, 1994. 10.1016/0304-3975(94)90242-9
4. [4] E.Y.C. Cheng and M. Kaminski, “Context-free languages over infinite alphabets,” Acta Informatica, vol.35, no.3, pp.245-267, 1998. 10.1007/s002360050120
5. [5] M. Kaminski and T. Tan, “Tree automata over infinite alphabets,” Pillars of Computer Science, Lecture Notes in Computer Science, vol.4800, pp.386-423, Springer, 2008. 10.1007/978-3-540-78127-1_21