Author:
Kupferman Orna,Piterman Nir,Vardi Moshe Y.
Publisher
Springer Berlin Heidelberg
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Accelerate Safety Model Checking Based on Complementary Approximate Reachability;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-09
2. Languages with Decidable Learning: A Meta-theorem;Proceedings of the ACM on Programming Languages;2023-04-06
3. Solving Infinite Games in the Baire Space;Fundamenta Informaticae;2022-08-30
4. Learning formulas in finite variable logics;Proceedings of the ACM on Programming Languages;2022-01-12
5. Decidable Synthesis of Programs with Uninterpreted Functions;Computer Aided Verification;2020