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]
Abstract is missing.