Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata
IJCAI 2024（2024）
关键词
Machine Learning -> ML: Active learning,Knowledge Representation and Reasoning -> KRR: Automated reasoning and theorem proving,Knowledge Representation and Reasoning -> KRR: Learning and reasoning,Machine Learning -> ML: Model-based and model learning reinforcement learning
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要