Pubblicazioni

Quick Subset Construction

2023 - SOFTWARE-PRACTICE & EXPERIENCE
Dusi, M.; Lamperti, G.

Fixing Nondeterminism in Large Discrete-Event Knowledge

2021 - PROCEDIA COMPUTER SCIENCE
Dusi, M.; Lamperti, G.

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