Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive
Learning
Christof L?ding Igor Walukiewicz
作者信息
引用本文复制引用
Christof L?ding,Igor Walukiewicz.Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive
Learning[EB/OL].(2025-05-20)[2025-12-13].https://arxiv.org/abs/2505.14304.学科分类
自动化基础理论/计算技术、计算机技术
评论