フォロー
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
2942014
Reasoning about strategies
F Mogavero, A Murano, MY Vardi
FSTTCS, 133-144, 2010
1962010
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
1382008
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
1132021
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
1132014
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
952012
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
802015
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
742017
Reasoning about strategies: on the satisfiability problem
MY Vardi, G Perelli, A Murano, F Mogavero
Logical Methods in Computer Science 13, 2017
67*2017
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
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
582002
Verification of broadcasting multi-agent systems against an epistemic strategy logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
562017
Graded computation tree logic
A Bianco, F Mogavero, A Murano
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012
552012
Probabilistic strategy logic
B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin
Artificial Intelligence, 2019
522019
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
502014
Typeness for ω-regular automata
O Kupferman, G Morgenstern, A Murano
International Journal of Foundations of Computer Science 17 (04), 869-883, 2006
502006
Planning under LTL environment specifications
B Aminof, G De Giacomo, A Murano, S Rubin
Proceedings of the International Conference on Automated Planning and …, 2019
492019
Module checking of strategic ability.
W Jamroga, A Murano
AAMAS 15, 227-235, 2015
452015
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20