关注
Aniello Murano
标题
引用次数
引用次数
年份
Reasoning About Strategies: On the Model-Checking Problem
F Mogavero, A Murano, G Perelli, MY Vardi
ACM Trans. Comput. Logic 15 (4), 34:1--34:47, 2014
2762014
Reasoning about strategies
F Mogavero, A Murano, MY Vardi
FSTTCS, 133-144, 2010
1902010
The complexity of enriched mu-calculi
PA Bonatti, C Lutz, A Murano, MY Vardi
LOGICAL METHODS IN COMPUTER SCIENCE 4 (3:11), 1-27, 2008
1372008
MCMAS-SLK: A model checker for the verification of strategy logic specifications
P Čermák, A Lomuscio, F Mogavero, A Murano
International Conference on Computer Aided Verification, 525-532, 2014
1102014
Strategy logic with imperfect information
R Berthon, B Maubert, A Murano, S Rubin, MY Vardi
ACM Transactions on Computational Logic (TOCL) 22 (1), 1-51, 2021
1072021
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
F Mogavero, A Murano, G Perelli, MY Vardi
International Conference on Concurrency Theory, 193-208, 2012
932012
Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications
P Cermák, A Lomuscio, A Murano
Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI 2015, 2038-2044, 2015
752015
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
692017
Optimal-reachability and control for acyclic weighted timed automata
S La Torre, S Mukhopadhyay, A Murano
Proc. 2nd IFIP International Conference on Theoretical Computer Science (TCS …, 2002
652002
Reasoning about strategies: on the satisfiability problem
MY Vardi, G Perelli, A Murano, F Mogavero
Logical Methods in Computer Science 13, 2017
63*2017
Enriched mu-calculi module checking
M Parente, A Murano, A Ferrante
Logical Methods in Computer Science 4, 2008
602008
Dense real-time games
M Faella, S La Torre, A Murano
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 167-176, 2002
572002
Verification of broadcasting multi-agent systems against an epistemic strategy logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
552017
Graded computation tree logic
A Bianco, F Mogavero, A Murano
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012
552012
Checking interval properties of computations
A Molinari, A Montanari, A Murano, G Perelli, A Peron
Acta Informatica 53 (6-8), 587-619, 2016
512016
On module checking and strategies
W Jamroga, A Murano
Proceedings of the 2014 international conference on Autonomous agents and …, 2014
492014
Typeness for ω-regular automata
O Kupferman, G Morgenstern, A Murano
International Journal of Foundations of Computer Science 17 (04), 869-883, 2006
492006
Natural strategic ability
W Jamroga, V Malvone, A Murano
Artificial Intelligence 277, 103170, 2019
45*2019
Pushdown module checking
L Bozzelli, A Murano, A Peron
Formal Methods in System Design 36 (1), 65-95, 2010
452010
Module checking of strategic ability.
W Jamroga, A Murano
AAMAS 15, 227-235, 2015
432015
系统目前无法执行此操作，请稍后再试。
文章 1–20
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交