Details for the publication LiST24.
: Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, August 03-09, 2024, Jeju, Republic of Korea, 2024. URL