Publisher
Open Publishing Association
Reference36 articles.
1. Acacia+, a Tool for LTL Synthesis;Bohy,2012
2. Planning with Incomplete Information as Heuristic Search in Belief Space;Bonet,2000
3. Graph-Based Algorithms for Boolean Function Manipulation;Bryant;IEEE Trans. Computers,1986
4. Planning Graph Heuristics for Belief Space Search;Bryce;J. Artif. Intell. Res.,2006
5. Weak Second-Order Arithmetic and Finite Automata;Büchi;Mathematical Logic Quarterly - MLQ,1960
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献