Conflict-Aware Active Automata Learning
Conflict-Aware Active Automata Learning
复制标题
冲突感知主动自动机学习
DOI：
10.4204/eptcs.390.10
复制
发表时间：
2023
影响因子：
--
通讯作者：
Ferreira T
中科院分区：
文献类型：
--
作者：
Ferreira T
登录
查看更多内容
DOI：
10.1145/3452296.3472938
发表时间：
2021
期刊：
Proceedings of the 2021 ACM SIGCOMM 2021 Conference
影响因子：
--
作者：
Tiago Ferreira;Harrison Brewton;Loris D'antoni;Alexandra Silva
通讯作者：
Alexandra Silva
DOI：
10.1093/comjnl/bxz056
发表时间：
2019
期刊：
Comput. J.
影响因子：
--
作者：
Michal Soucha;K. Bogdanov
通讯作者：
K. Bogdanov
基于分离性的主动自动机学习新方法
DOI：
10.1007/978-3-030-99524-9_12
发表时间：
2021
期刊：
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
影响因子：
--
作者：
F. Vaandrager;Bharat Garhewal;J. Rot;Thorsten Wißmann
通讯作者：
Thorsten Wißmann
基于学习的回归测试的自适应学习
影响因子：
2.6
作者：
D. Huistra;J. Meijer;J. Pol
通讯作者：
J. Pol
学习重用：进化系统的自适应模型学习
DOI：
--
发表时间：
2019
期刊：
International Conference on Integrated Formal Methods
影响因子：
--
作者：
C. Damasceno;M. Mousavi;A. Simão
通讯作者：
A. Simão