Aniello Murano
Aniello Murano
Associate Professor in Computer Science, UniversitÓ degli Studi di Napoli Federico II
Verified email at na.infn.it - Homepage
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
1802014
Reasoning about strategies
F Mogavero, A Murano, MY Vardi
FSTTCS, 133-144, 2010
1642010
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
1282008
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
822014
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
822012
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
642002
Strategy logic with imperfect information
R Berthon, B Maubert, A Murano, S Rubin, MY Vardi
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
582017
Enriched Á-calculi Module Checking
A Ferrante, A Murano, M Parente
LOGICAL METHODS IN COMPUTER SCIENCE 4 (3: 1), 1-21, 2008
57*2008
Dense real-time games
M Faella, S La Torre, A Murano
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 167-176, 2002
552002
Graded computation tree logic
A Bianco, F Mogavero, A Murano
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012
522012
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
432017
Typeness for ω-regular automata
O Kupferman, G Morgenstern, A Murano
International Journal of Foundations of Computer Science 17 (04), 869-883, 2006
432006
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
402015
On module checking and strategies
W Jamroga, A Murano
Proceedings of the 2014 international conference on Autonomous agents andá…, 2014
382014
Pushdown module checking with imperfect information
B Aminof, A Legay, A Murano, O Serre, MY Vardi
Information and Computation 223, 1-17, 2013
382013
Pushdown module checking
L Bozzelli, A Murano, A Peron
Formal Methods in System Design 36 (1), 65-95, 2010
382010
Relentful strategic reasoning in alternating-time temporal logic
F Mogavero, A Murano, MY Vardi
Journal of Logic and Computation 26 (5), 1663-1695, 2016
37*2016
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
352017
Checking interval properties of computations
A Molinari, A Montanari, A Murano, G Perelli, A Peron
Acta Informatica 53 (6-8), 587-619, 2016
352016
Improved model checking of hierarchical systems
B Aminof, O Kupferman, A Murano
Information and Computation 210, 68-86, 2012
342012
The system can't perform the operation now. Try again later.
Articles 1–20