福克·豪尔 伯恩哈德·斯特芬 主动自动机学习作为黑箱搜索和懒惰分区优化。 321-338 2022 从过程代数到时间自动机到模型学习的旅程 https://doi.org/10.1007/978-3-031-15629-8_17 conf/生日/2022vaandrager db/conf/baurthday/vaandrager2022.html#HowarS22