Why These Automata Types?
From MaRDI portal
Publication:5222950
DOI10.29007/c3bjzbMath1415.68122OpenAlexW2907581921MaRDI QIDQ5222950
Publication date: 4 July 2019
Published in: EPiC Series in Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.29007/c3bj
Related Items
Regular model checking with regular relations, Zielonka DAG acceptance and regular languages over infinite words, Unnamed Item, Token Games and History-Deterministic Quantitative-Automata, On the translation of automata to linear temporal logic, Quantitative vs. weighted automata, Approximate Automata for Omega-Regular Languages, Generic Emptiness Check for Fun and Profit
