Aniello Murano
Aniello Murano
Associate Professor in Computer Science, UniversitÓ degli Studi di Napoli Federico II
Geverifieerd e-mailadres voor na.infn.it - Homepage
TitelGeciteerd doorJaar
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
1592014
Reasoning about strategies
F Mogavero, A Murano, MY Vardi
FSTTCS, 133-144, 2010
1562010
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
1202008
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
812012
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
732014
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
612002
Enriched Á-calculi Module Checking
A Ferrante, A Murano, M Parente
LOGICAL METHODS IN COMPUTER SCIENCE 4 (3: 1), 1-21, 2008
56*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
542002
Graded computation tree logic
A Bianco, F Mogavero, A Murano
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-53, 2012
502012
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
462017
Typeness for ω-regular automata
O Kupferman, G Morgenstern, A Murano
International Journal of Foundations of Computer Science 17 (04), 869-883, 2006
422006
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
392015
Pushdown module checking
L Bozzelli, A Murano, A Peron
Formal Methods in System Design 36 (1), 65-95, 2010
362010
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
352017
On module checking and strategies
W Jamroga, A Murano
Proceedings of the 2014 international conference on Autonomous agents andá…, 2014
352014
Pushdown module checking with imperfect information
B Aminof, A Legay, A Murano, O Serre, MY Vardi
Information and Computation 223, 1-17, 2013
352013
Checking interval properties of computations
A Molinari, A Montanari, A Murano, G Perelli, A Peron
Acta Informatica 53 (6-8), 587-619, 2016
322016
On the boundary of behavioral strategies
F Mogavero, A Murano, L Sauro
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 263-272, 2013
322013
Relentful strategic reasoning in alternating-time temporal logic
F Mogavero, A Murano, MY Vardi
International Conference on Logic for Programming Artificial Intelligenceá…, 2010
312010
On Promptness in Parity Games
M Fabio, A Murano, L Sorrentino
Fundamenta Informaticae 139 (3), 277-305, 2015
29*2015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20