zbMATH中的参考文献（引用于，1标准件)

1. Bersani，Marcello M.；Soldo，Matteo；Menghi，Claudio；Pelliccione，Patrizio；Rossi，Matteo：追求——从机器人环境规范到控制器综合（2020）
2. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；诺曼，盖钦：自主系统控制器综合的协作模型（2020）
3. 古铁雷斯，朱利安；纳吉布，穆罕默德；佩雷利，朱塞佩；伍尔德里奇，迈克尔：自动时间均衡分析：多人游戏的验证和综合（2020）
4. 古铁雷斯，朱利安；哈伦斯坦，保罗；佩雷利，朱塞佩；伍尔德里奇，迈克尔：纳什均衡和互模拟不变性（2019）
5. Jamroga，Wojciech；Malvone，Vadim；Murano，Aniello：自然战略能力（2019年）
6. Basset，N.；Kwiatkowska，M.；Wiltsche，C.：多目标随机博弈的组合策略综合（2018）
7. Julian Gutierrez；Paul Harrenstein；Wooldridge，Michael:关于类博弈并发系统中均衡的推理（2017）
8. Hahn，Ernst Moritz；Schewe，Sven；Turrini，Andrea；Zhang，Lijun:求解2.5人对等博弈的综合策略改进和递归算法（2017）
9. Chen，Taoloue；Primiero，Giuseppe；Raimondi，Franco；Rungta，Neha:一种基于计算的加权多元论逻辑（2016）
10. Svoreňová，Mária；Kwiatkowska，Marta:随机博弈的定量验证和策略综合（2016）
11. Dräger，Klaus；Forejt，Vojtěch；Kwiatkowska，Marta；Parker，David；Ujma，Mateusz：概率系统的许可控制器综合（2015）
12. Dehnert，Christian；Gebler，Daniel；Volpato，Michele；Jansen，David N.：关于概率系统的抽象（2014）
13. Chen，Taoloue；Forejt，Vojtěch；Kwiatkowska，Marta；Parker，David；Simaitis，Aistis:PRISM games:随机多人博弈的模型检验器（2013）
14. Kwiatkowska，Marta:普适计算定量验证的进展（2013）
15. Kwiatkowska，Marta；Parker，David:概率系统的自动验证和策略综合（2013）
16. Piterman，Nir（编辑）；Smolka，Scott A.（编辑）：用于系统构建和分析的工具和算法。第19届国际会议，TACAS 2013，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2013，意大利罗马，2013年3月16日至24日。诉讼（2013年）