Author:
Birkendorf Andreas,Böker Andreas,Simon Hans Ulrich
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Myhill-Nerode Theorem for Finite State Matrix Automata and Finite Matrix Languages;Lecture Notes in Computer Science;2023
2. Query-Based Learning;Encyclopedia of Machine Learning and Data Mining;2017
3. Query-Based Learning;Encyclopedia of Machine Learning and Data Mining;2016
4. Active Learning of Plans for Safety and Reachability Goals With Partial Observability;IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics);2010-04
5. Automatic symbolic compositional verification by learning assumptions;Formal Methods in System Design;2008-05-17