Incremental Determinization of Expanding Automata. - Simone Brognoli; Gianfranco Lamperti; Michele Scandale (Comput. J., 2016)