Conservative Determinization of Translated Automata by Embedded Subset Construction

Michele Dusi, Gianfranco Lamperti. Conservative Determinization of Translated Automata by Embedded Subset Construction. In Ireneusz Czarnowski, Robert J. Howlett, Lakhmi C. Jain, editors, Intelligent Decision Technologies - Proceedings of the 12th KES International Conference on Intelligent Decision Technologies (KES-IDT 2020), Split, Croatia, 17-19 June, 2020. Volume 193 of Smart Innovation, Systems and Technologies, pages 49-61, Springer, 2020. [doi]

Authors

Michele Dusi

This author has not been identified. Look up 'Michele Dusi' in Google

Gianfranco Lamperti

This author has not been identified. Look up 'Gianfranco Lamperti' in Google