Author:
Fogler Roi,Cohen Itay,Peled Doron
Publisher
Springer Nature Switzerland
Reference22 articles.
1. Alpern, F.B.B.: Schneider: recognizing safety and liveness. Distrib. Comput. 2, 117–126 (1987). https://doi.org/10.1007/BF01782772
2. Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Inf. Comput. 75, 87–106 (1987)
3. Angluin, D.: A note on the number of queries needed to identify regular languages. Inf. Control 51, 76–87 (1981)
4. Groce, A., Peled, D., Yannakakis, M.: Adaptive model checking. Logic J. IGPL 14, 729–744 (2006)
5. Higuera, C.: Grammatical inference: learning automata and grammars. Cambridge University Press (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献