Pubblicazioni

Conservative Determinization of Translated Automata by Embedded Subset Construction

2020 - Intelligent Decision Technologies. Proceedings of the 12th KES International Conference on Intelligent Decision Technologies (KES-IDT 2020)
Dusi, M.; Lamperti, G.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma