Subject
Signal Processing,Control and Systems Engineering,Software
Reference28 articles.
1. Artale, A., Kontchakov, R., Ryzhikov, V., and Zakharyaschev, M., Tractable interval temporal propositional and description logics, Proc. 29th AAAI Conf. on Artificial Intell., 2015, pp. 1417–1423. https://doi.org/10.1609/aaai.v29i1.9406
2. Baier, C. and Katoen, J.-P., Principles of Model Checking, Cambridge: MIT Press, 2008.
3. Ben-Ari, M., Manna, Z., and Pnueli, A., The temporal logic of branching time, POPL ’81: Proc. 8th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, Williamsburg, Va., 1981, New York: Association for Computing Machinery, 1981, pp. 164–176. https://doi.org/10.1145/567532.567551
4. Clarke, E. M., Gramberg, O., and Peled, D. A., Model Checking, Cambridge: MIT Press, 1999.
5. Etessami, K. and Wilke, T., An until hierarchy and other applications of an Ehrenfeucht–Fraïssé game for temporal logic, Inf. Comput., 2000, vol. 160, nos. 1–2, pp. 88–108. https://doi.org/10.1006/inco.1999.2846