帕特里克·加迪
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2020 [j3] 辛莉(Xin Li) , 帕特里克·加迪 , 邓玉欣 , Hiroyuki Seki先生 :
模式化条件下推系统的可达性。 J.计算。 科学。 Technol公司。 35 ( 6 ) : 1295-1311 ( 2020 ) [注2] 帕特里克·加迪 , 帕特里夏·鲍耶 , 尼古拉斯·马基 :
战略逻辑中的依赖性。 理论计算。 系统。 64 ( 三 ) : 467-507 ( 2020 )
2010 – 2019
2019 【c5】 帕特里克·加迪 , 邓玉欣 :
信息不完全的多智能体系统仿真。 ICFEM公司 2019 : 138-153 【c4】 帕特里克·加迪 :
在战略逻辑中,低复杂性和大交互是可能的。 TASE公司 2019 : 192-199 2018 【c3】 帕特里克·加迪 , 帕特里夏·鲍耶 , 尼古拉斯·马基 :
战略逻辑中的依赖性。 STACS公司 2018 : 34:1-34:15 2017 [i1] 帕特里克·加迪 , 帕特里夏·鲍耶 , 尼古拉斯·马基 :
战略逻辑中的依赖关系。 CoRR公司 abs/1708.05849 ( 2017 ) 2016 [j1] 帕特里夏·鲍耶 , 帕特里克·加迪 , 尼古拉斯·马基 :
论战略逻辑的语义。 信息处理。 莱特。 116 ( 2 ) : 75-79 ( 2016 ) 2015 【c2】 帕特里夏·布耶 , 帕特里克·加迪 , 尼古拉斯·马基 :
一对一博弈中布尔目标加权策略逻辑。 FSTTCS公司 2015 : 69-83 2014 【c1】 帕特里夏·鲍耶 , 帕特里克·加迪 , 尼古拉斯·马基 :
加权克里普克结构的定量验证。 ATVA公司 2014 : 64-80
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)