蒂亚戈·费雷拉0001 格科·范·海尔特 亚历山大·席尔瓦0001 基于树的自适应模型学习。 164-179 2022 从过程代数到时间自动机到模型学习的旅程 https://doi.org/10.1007/978-3-031-15629-8_10 conf/生日/2022vaandrager db/conf/生日/vaandrager2022.html#FerreiraHS22