Author:
Corea Carl,Felli Paolo,Montali Marco,Patrizi Fabio
Publisher
Springer Nature Switzerland
Reference22 articles.
1. Ceccherini-Silberstein, T., Machi, A., Scarabotti, F.: On the entropy of regular languages. Theor. Comput. Sci. 307(1), 93–102 (2003)
2. Chomsky, N., Miller, G.A.: Finite state languages. Inf. Control 1(2), 91–112 (1958)
3. Dassow, J., Martín, G.M., Vico, F.J.: A similarity measure for cyclic unary regular languages. Fundam. Informaticae 96(1–2), 71–88 (2009)
4. De Giacomo, G., De Masellis, R., Maggi, F.M., Montali, M.: Monitoring constraints and metaconstraints with temporal logics on finite traces. ACM Trans. Softw. Eng. Methodol. 31(4), 1–44 (2022)
5. De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of the IJCAI 2013, pp. 854–860 (2013)