Follow
Aniello Murano
Title
Cited by
Cited by
Year
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
2632014
Reasoning about strategies
F Mogavero, A Murano, MY Vardi
FSTTCS, 133-144, 2010
1892010
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
1342008
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
1082014
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
1052021
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
942012
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
702015
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
622002
Reasoning about strategies: on the satisfiability problem
MY Vardi, G Perelli, A Murano, F Mogavero
Logical Methods in Computer Science 13, 2017
61*2017
Enriched mu-calculi module checking
M Parente, A Murano, A Ferrante
Logical Methods in Computer Science 4, 2008
592008
Dense real-time games
M Faella, S La Torre, A Murano
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 167-176, 2002
562002
Graded computation tree logic
A Bianco, F Mogavero, A Murano
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012
552012
Verification of broadcasting multi-agent systems against an epistemic strategy logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
542017
Checking interval properties of computations
A Molinari, A Montanari, A Murano, G Perelli, A Peron
Acta Informatica 53 (6-8), 587-619, 2016
512016
Typeness for ω-regular automata
O Kupferman, G Morgenstern, A Murano
International Journal of Foundations of Computer Science 17 (04), 869-883, 2006
492006
On module checking and strategies
W Jamroga, A Murano
Proceedings of the 2014 international conference on Autonomous agents and …, 2014
482014
Natural strategic ability
W Jamroga, V Malvone, A Murano
Artificial Intelligence 277, 103170, 2019
44*2019
Improved model checking of hierarchical systems
B Aminof, O Kupferman, A Murano
Information and computation 210, 68-86, 2012
422012
Pushdown module checking
L Bozzelli, A Murano, A Peron
Formal Methods in System Design 36 (1), 65-95, 2010
422010
The system can't perform the operation now. Try again later.
Articles 1–20