Details for the publication 0031S024.

Yong Li, Sven Schewe (), Qiyi Tang: 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, Jeju, South Korea, August 3-9, 2024, pages 4506-4514, 2024. URL BIB