@inproceedings{AK23, author = {B. {Abu Radi} and O. Kupferman}, title = {On Semantically-Deterministic Automata}, booktitle = icalp23, series = {LIPIcs}, volume = 261, pages = {109:1-109:20}, year = {2023}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik} }