Author:
Angluin Dana,Kharitonov Michael
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Myhill-Nerode Theorem for Finite State Matrix Automata and Finite Matrix Languages;Lecture Notes in Computer Science;2023
2. “Synthesizing input grammars”: a replication study;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Cryptographic Sensing;Advances in Cryptology – CRYPTO 2019;2019
4. Trust, Resilience and Interpretability of AI Models;Numerical Software Verification;2019
5. Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae;Journal of Automated Reasoning;2018-11-29