Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems
复制标题
概率多智能体系统中策略属性的参数化验证
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
A Lomuscio
中科院分区：
文献类型：
--
作者：
A Lomuscio
登录
查看更多内容
DOI：
10.1016/j.robot.2011.10.005
发表时间：
2012-02
期刊：
Robotics Auton. Syst.
影响因子：
--
作者：
Savas Konur;C. Dixon;Michael Fisher
通讯作者：
Savas Konur;C. Dixon;Michael Fisher
DOI：
--
发表时间：
2014
期刊：
Foundations of Software Science and Computation Structure
影响因子：
--
作者：
N. Bertrand;P. Fournier;Arnaud Sangnier
通讯作者：
Arnaud Sangnier
交替时间时序逻辑的参数化模型检查
DOI：
--
发表时间：
2016
期刊：
European Conference on Artificial Intelligence
影响因子：
--
作者：
Panagiotis Kouvaros;A. Lomuscio
通讯作者：
A. Lomuscio
DOI：
--
发表时间：
2019
期刊：
--
影响因子：
--
作者：
Lomuscio A
通讯作者：
Lomuscio A
DOI：
10.1007/978-3-319-73721-8_1
发表时间：
2018
期刊：
Robotics Auton. Syst.
影响因子：
--
作者：
Benjamin Aminof;S. Rubin;Ilina Stoilkovska;Josef Widder;Florian Zuleger
通讯作者：
Florian Zuleger