Learning to Complement Büchi Automata

DOI10.1007/978-3-319-73721-8_15zbMath1446.68082OpenAlexW2777178969MaRDI QIDQ3296336

Sven Schewe, Yong Li, Andrea Turrini, Li-jun Zhang

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-73721-8_15

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45)

This page was built for publication: Learning to Complement Büchi Automata