彼得·杰勒·詹森 金·拉森 马吕斯·米库西奥尼斯 与Uppaal Stratego玩Wordle。 283-305 2022 从过程代数到时间自动机到模型学习的旅程 https://doi.org/10.1007/978-3-031-15629-8_15 conf/生日/2022vaandrager db/conf/生日/vaandrager2022.html#JensenLM22