Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Aniello Murano
@article{DBLP:journals/tocl/BozzelliMM24,
author = {Laura Bozzelli and
Bastien Maubert and
Aniello Murano},
title = {On the Complexity of Model Checking Knowledge and Time},
journal = {{ACM} Trans. Comput. Log.},
volume = {25},
number = {1},
pages = {8:1--8:42},
year = {2024},
url = {https://doi.org/10.1145/3637212},
doi = {10.1145/3637212},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BozzelliMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BerthonKMM24,
author = {Rapha{\"{e}}l Berthon and
Joost{-}Pieter Katoen and
Munyque Mittelmann and
Aniello Murano},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Natural Strategic Ability in Stochastic Multi-Agent Systems},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {17308--17316},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i16.29678},
doi = {10.1609/AAAI.V38I16.29678},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BerthonKMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2024,
editor = {Aniello Murano and
Alexandra Silva},
title = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-310-2},
isbn = {978-3-95977-310-2},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-12170,
author = {Rapha{\"{e}}l Berthon and
Joost{-}Pieter Katoen and
Munyque Mittelmann and
Aniello Murano},
title = {Natural Strategic Ability in Stochastic Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2401.12170},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.12170},
doi = {10.48550/ARXIV.2401.12170},
eprinttype = {arXiv},
eprint = {2401.12170},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-12170.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MaubertMR23,
author = {Bastien Maubert and
Aniello Murano and
Sasha Rubin},
title = {Logical aspects of multi-agent systems},
journal = {Ann. Math. Artif. Intell.},
volume = {91},
number = {4},
pages = {373--374},
year = {2023},
url = {https://doi.org/10.1007/s10472-023-09852-3},
doi = {10.1007/S10472-023-09852-3},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MaubertMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BouyerKMMMP23,
author = {Patricia Bouyer and
Orna Kupferman and
Nicolas Markey and
Bastien Maubert and
Aniello Murano and
Giuseppe Perelli},
title = {Reasoning about Quality and Fuzziness of Strategic Behaviors},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {3},
pages = {21:1--21:38},
year = {2023},
url = {https://doi.org/10.1145/3582498},
doi = {10.1145/3582498},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BouyerKMMMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MittelmannMMP23,
author = {Munyque Mittelmann and
Bastien Maubert and
Aniello Murano and
Laurent Perrussel},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Formal Verification of Bayesian Mechanisms},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {11621--11629},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i10.26373},
doi = {10.1609/AAAI.V37I10.26373},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MittelmannMMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MuranoPS23,
author = {Aniello Murano and
Mimmo Parente and
Silvia Stranieri},
editor = {Riccardo De Benedictis and
Matteo Castiglioni and
Diodato Ferraioli and
Vadim Malvone and
Marco Maratea and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Elisa Tosello and
Alessandro Umbrico and
Mauro Vallati},
title = {A Multi-Agent Game for Sentiment Analysis (short paper)},
booktitle = {Proceedings of the the Italian Workshop on Planning and Scheduling,
{RCRA} Workshop on Experimental evaluation of algorithms for solving
problems with combinatorial explosion, and {SPIRIT} Workshop on Strategies,
Prediction, Interaction, and Reasoning in Italy {(IPS-RCRA-SPIRIT}
2023) co-located with 22nd International Conference of the Italian
Association for Artificial Intelligence AIxIA 2023, November 7-9th,
2023, Rome, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3585},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3585/paper14\_SPIRIT04.pdf},
timestamp = {Tue, 02 Jan 2024 17:44:44 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MuranoPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Catta0LMM23,
author = {Davide Catta and
Antonio Di Stasio and
Jean Leneutre and
Vadim Malvone and
Aniello Murano},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {A Game Theoretic Approach to Attack Graphs},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February
22-24, 2023},
pages = {347--354},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011776900003393},
doi = {10.5220/0011776900003393},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Catta0LMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/MuranoSM23,
author = {Aniello Murano and
Silvia Stranieri and
Munyque Mittelmann},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Multi-Agent Parking Problem with Sequential Allocation},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 3, Lisbon, Portugal, February
22-24, 2023},
pages = {484--492},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011689800003393},
doi = {10.5220/0011689800003393},
timestamp = {Tue, 09 May 2023 16:57:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/MuranoSM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Belardinelli0JM23,
author = {Francesco Belardinelli and
Angelo Ferrando and
Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
title = {Scalable Verification of Strategy Logic through Three-Valued Abstraction},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {46--54},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/6},
doi = {10.24963/IJCAI.2023/6},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Belardinelli0JM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MittelmannMP23,
author = {Munyque Mittelmann and
Aniello Murano and
Laurent Perrussel},
title = {Discounting in Strategy Logic},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {225--233},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/26},
doi = {10.24963/IJCAI.2023/26},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MittelmannMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MuranoNZ23,
author = {Aniello Murano and
Daniel Neider and
Martin Zimmermann},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Robust Alternating-Time Temporal Logic},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {796--813},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_54},
doi = {10.1007/978-3-031-43619-2\_54},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MuranoNZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliJMM23,
author = {Francesco Belardinelli and
Wojciech Jamroga and
Munyque Mittelmann and
Aniello Murano},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Strategic Abilities of Forgetful Agents in Stochastic Environments},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {726--731},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/71},
doi = {10.24963/KR.2023/71},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliJMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/NovielloMMS23,
author = {Francesco Noviello and
Munyque Mittelmann and
Aniello Murano and
Silvia Stranieri},
editor = {Philippe Mathieu and
Frank Dignum and
Paulo Novais and
Fernando de la Prieta},
title = {Parking Problem with Multiple Gates},
booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems,
and Cognitive Mimetics. The {PAAMS} Collection - 21st International
Conference, {PAAMS} 2023, Guimar{\~{a}}es, Portugal, July 12-14, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13955},
pages = {213--224},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37616-0\_18},
doi = {10.1007/978-3-031-37616-0\_18},
timestamp = {Fri, 14 Jul 2023 22:01:37 +0200},
biburl = {https://dblp.org/rec/conf/paams/NovielloMMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/FerrandoMMS23,
author = {Angelo Ferrando and
Vadim Malvone and
Aniello Murano and
Silvia Stranieri},
title = {{HYASM:} {A} Tool to Verify Hierarchical Systems},
booktitle = {{IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2023, Paris, France, December
14-16, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/WETICE57085.2023.10477788},
doi = {10.1109/WETICE57085.2023.10477788},
timestamp = {Mon, 08 Apr 2024 17:30:24 +0200},
biburl = {https://dblp.org/rec/conf/wetice/FerrandoMMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-02355,
author = {Davide Catta and
Vadim Malvone and
Aniello Murano},
editor = {Angelo Ferrando and
Rafael Cardoso},
title = {Reasoning about Intuitionistic Computation Tree Logic},
booktitle = {Proceedings of the Third Workshop on Agents and Robots for reliable
Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
series = {{EPTCS}},
volume = {391},
pages = {42--48},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.391.6},
doi = {10.4204/EPTCS.391.6},
timestamp = {Mon, 06 Nov 2023 15:17:28 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02355.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2022ips,
editor = {Riccardo De Benedictis and
Nicola Gatti and
Marco Maratea and
Andrea Micheli and
Aniello Murano and
Enrico Scala and
Luciano Serafini and
Ivan Serina and
Alessandro Umbrico and
Mauro Vallati},
title = {Proceedings of the 10th Italian workshop on Planning and Scheduling
{(IPS} 2022), {RCRA} Incontri {E} Confronti (RiCeRcA 2022), and the
workshop on Strategies, Prediction, Interaction, and Reasoning in
Italy {(SPIRIT} 2022) co-located with 21st International Conference
of the Italian Association for Artificial Intelligence (AIxIA 2022),
November 28 - December 2, 2022, University of Udine, Udine, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3345},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3345},
urn = {urn:nbn:de:0074-3345-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2022ips.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eumas/2023,
editor = {Vadim Malvone and
Aniello Murano},
title = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
Italy, September 14-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14282},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43264-4},
doi = {10.1007/978-3-031-43264-4},
isbn = {978-3-031-43263-7},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eumas/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-15256,
author = {Munyque Mittelmann and
Aniello Murano and
Laurent Perrussel},
title = {Discounting in Strategy Logic},
journal = {CoRR},
volume = {abs/2305.15256},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.15256},
doi = {10.48550/ARXIV.2305.15256},
eprinttype = {arXiv},
eprint = {2305.15256},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-15256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10885,
author = {Aniello Murano and
Daniel Neider and
Martin Zimmermann},
title = {Robust Alternating-Time Temporal Logic},
journal = {CoRR},
volume = {abs/2307.10885},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10885},
doi = {10.48550/ARXIV.2307.10885},
eprinttype = {arXiv},
eprint = {2307.10885},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-17219,
author = {Francesco Belardinelli and
Angelo Ferrando and
Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
title = {Scalable Verification of Strategy Logic through Three-valued Abstraction},
journal = {CoRR},
volume = {abs/2310.17219},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.17219},
doi = {10.48550/ARXIV.2310.17219},
eprinttype = {arXiv},
eprint = {2310.17219},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-17219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-17240,
author = {Francesco Belardinelli and
Wojciech Jamroga and
Munyque Mittelmann and
Aniello Murano},
title = {Strategic Abilities of Forgetful Agents in Stochastic Environments},
journal = {CoRR},
volume = {abs/2310.17240},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.17240},
doi = {10.48550/ARXIV.2310.17240},
eprinttype = {arXiv},
eprint = {2310.17240},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-17240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AminofMRZ22,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin and
Florian Zuleger},
title = {Verification of agent navigation in partially-known environments},
journal = {Artif. Intell.},
volume = {308},
pages = {103724},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103724},
doi = {10.1016/J.ARTINT.2022.103724},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AminofMRZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMP22,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Context-free timed formalisms: Robust automata and linear temporal
logics},
journal = {Inf. Comput.},
volume = {283},
pages = {104673},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2020.104673},
doi = {10.1016/J.IC.2020.104673},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliJMM22,
author = {Francesco Belardinelli and
Wojtek Jamroga and
Vadim Malvone and
Munyque Mittelmann and
Aniello Murano and
Laurent Perrussel},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {62--71},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p62.pdf},
doi = {10.5555/3535850.3535859},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliJMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MittelmannMMP22,
author = {Munyque Mittelmann and
Bastien Maubert and
Aniello Murano and
Laurent Perrussel},
editor = {Ugo Dal Lago and
Daniele Gorla},
title = {Synthesis of Mechanisms with Strategy Logic},
booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer
Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3284},
pages = {47--52},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3284/2685.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MittelmannMMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MittelmannMMP22,
author = {Munyque Mittelmann and
Bastien Maubert and
Aniello Murano and
Laurent Perrussel},
editor = {Luc De Raedt},
title = {Automated Synthesis of Mechanisms},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {426--432},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/61},
doi = {10.24963/IJCAI.2022/61},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MittelmannMMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FijalkowMMRV22,
author = {Nathana{\"{e}}l Fijalkow and
Bastien Maubert and
Aniello Murano and
Sasha Rubin and
Moshe Y. Vardi},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Public and Private Affairs in Strategic Reasoning},
booktitle = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://proceedings.kr.org/2022/14/},
timestamp = {Tue, 05 Sep 2023 14:47:29 +0200},
biburl = {https://dblp.org/rec/conf/kr/FijalkowMMRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-09616,
author = {Francesco Belardinelli and
Wojtek Jamroga and
Vadim Malvone and
Munyque Mittelmann and
Aniello Murano and
Laurent Perrussel},
title = {Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions},
journal = {CoRR},
volume = {abs/2201.09616},
year = {2022},
url = {https://arxiv.org/abs/2201.09616},
eprinttype = {arXiv},
eprint = {2201.09616},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-09616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-01395,
author = {Giuseppe Calise and
Aniello Murano and
Silvia Stranieri},
title = {The Parking Problem: {A} Game-Theoretic Solution},
journal = {CoRR},
volume = {abs/2204.01395},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.01395},
doi = {10.48550/ARXIV.2204.01395},
eprinttype = {arXiv},
eprint = {2204.01395},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-01395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GutierrezMPRSW21,
author = {Julian Gutierrez and
Aniello Murano and
Giuseppe Perelli and
Sasha Rubin and
Thomas Steeples and
Michael J. Wooldridge},
title = {Equilibria for games with combined qualitative and quantitative objectives},
journal = {Acta Informatica},
volume = {58},
number = {6},
pages = {585--610},
year = {2021},
url = {https://doi.org/10.1007/s00236-020-00385-4},
doi = {10.1007/S00236-020-00385-4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GutierrezMPRSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/StasioMPS21,
author = {Antonio Di Stasio and
Aniello Murano and
Vincenzo Prignano and
Loredana Sorrentino},
title = {Improving parity games in practice},
journal = {Ann. Math. Artif. Intell.},
volume = {89},
number = {5-6},
pages = {551--574},
year = {2021},
url = {https://doi.org/10.1007/s10472-020-09721-3},
doi = {10.1007/S10472-020-09721-3},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/StasioMPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/DAmoreMSAL21,
author = {Luisa D'Amore and
Aniello Murano and
Loredana Sorrentino and
Rossella Arcucci and
Giuliano Laccetti},
title = {Toward a multilevel scalable parallel Zielonka's algorithm for solving
parity games},
journal = {Concurr. Comput. Pract. Exp.},
volume = {33},
number = {4},
year = {2021},
url = {https://doi.org/10.1002/cpe.6043},
doi = {10.1002/CPE.6043},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/DAmoreMSAL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HoekMMR21,
author = {Wiebe van der Hoek and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
title = {Preface},
journal = {Inf. Comput.},
volume = {276},
pages = {104551},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104551},
doi = {10.1016/J.IC.2020.104551},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/HoekMMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BerthonMMRV21,
author = {Rapha{\"{e}}l Berthon and
Bastien Maubert and
Aniello Murano and
Sasha Rubin and
Moshe Y. Vardi},
title = {Strategy Logic with Imperfect Information},
journal = {{ACM} Trans. Comput. Log.},
volume = {22},
number = {1},
pages = {5:1--5:51},
year = {2021},
url = {https://doi.org/10.1145/3427955},
doi = {10.1145/3427955},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BerthonMMRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BerthonFFGMMPPR21,
author = {Rapha{\"{e}}l Berthon and
Nathana{\"{e}}l Fijalkow and
Emmanuel Filiot and
Shibashis Guha and
Bastien Maubert and
Aniello Murano and
Laureline Pinault and
Sophie Pinchinat and
Sasha Rubin and
Olivier Serre},
title = {Alternating Tree Automata with Qualitative Semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {22},
number = {1},
pages = {7:1--7:24},
year = {2021},
url = {https://doi.org/10.1145/3431860},
doi = {10.1145/3431860},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BerthonFFGMMPPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliKLM21,
author = {Francesco Belardinelli and
Sophia Knight and
Alessio Lomuscio and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Zhi{-}Hua Zhou},
title = {Reasoning About Agents That May Know Other Agents' Strategies},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1787--1793},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/246},
doi = {10.24963/IJCAI.2021/246},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliKLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AminofGLMR21,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Synthesizing Best-effort Strategies under Multiple Environment Specifications},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {42--51},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/5},
doi = {10.24963/KR.2021/5},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/AminofGLMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiacomoMPP21,
author = {Giuseppe De Giacomo and
Aniello Murano and
Fabio Patrizi and
Giuseppe Perelli},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Timed Trace Alignment with Metric Temporal Logic over Finite Traces},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {227--236},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/22},
doi = {10.24963/KR.2021/22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GiacomoMPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MaubertMMP21,
author = {Bastien Maubert and
Munyque Mittelmann and
Aniello Murano and
Laurent Perrussel},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Strategic Reasoning in Automated Mechanism Design},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {487--496},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/46},
doi = {10.24963/KR.2021/46},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MaubertMMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BelardinelliLMR20,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
title = {Verification of multi-agent systems with public actions against strategy
logic},
journal = {Artif. Intell.},
volume = {285},
pages = {103302},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103302},
doi = {10.1016/J.ARTINT.2020.103302},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BelardinelliLMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MonicaMS20,
author = {Dario Della Monica and
Aniello Murano and
Luigi Sauro},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {176},
number = {3-4},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1971},
doi = {10.3233/FI-2020-1971},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MonicaMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MuranoBPO20,
author = {Aniello Murano and
Patricia Bouyer and
Pierluigi {San Pietro} and
Andrea Orlandini},
title = {Preface},
journal = {Inf. Comput.},
volume = {272},
pages = {104497},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2019.104497},
doi = {10.1016/J.IC.2019.104497},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MuranoBPO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MuranoPRS20,
author = {Aniello Murano and
Mimmo Parente and
Sasha Rubin and
Loredana Sorrentino},
title = {Model-checking graded computation-tree logic with finite path semantics},
journal = {Theor. Comput. Sci.},
volume = {806},
pages = {577--586},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.09.021},
doi = {10.1016/J.TCS.2019.09.021},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MuranoPRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliMS20,
author = {Laura Bozzelli and
Aniello Murano and
Loredana Sorrentino},
title = {Alternating-time temporal logics with linear past},
journal = {Theor. Comput. Sci.},
volume = {813},
pages = {199--217},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.11.028},
doi = {10.1016/J.TCS.2019.11.028},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MuranoR20,
author = {Aniello Murano and
Sasha Rubin},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {815},
pages = {246},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.12.022},
doi = {10.1016/J.TCS.2019.12.022},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MuranoR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliMPS20,
author = {Laura Bozzelli and
Aniello Murano and
Giuseppe Perelli and
Loredana Sorrentino},
title = {Hierarchical cost-parity games},
journal = {Theor. Comput. Sci.},
volume = {847},
pages = {147--174},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.10.002},
doi = {10.1016/J.TCS.2020.10.002},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BalzanoMSS20,
author = {Walter Balzano and
Aniello Murano and
Loredana Sorrentino and
Silvia Stranieri},
editor = {Leonard Barolli and
Flora Amato and
Francesco Moscato and
Tomoya Enokido and
Makoto Takizawa},
title = {Behavioral Clustering: {A} New Approach for Traffic Congestion Evaluation},
booktitle = {Web, Artificial Intelligence and Network Applications - Proceedings
of the Workshops of the 34th International Conference on Advanced
Information Networking and Applications, {AINA} Workshops 2020, Caserta,
Italy, 15-17 April},
series = {Advances in Intelligent Systems and Computing},
volume = {1150},
pages = {1418--1427},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44038-1\_129},
doi = {10.1007/978-3-030-44038-1\_129},
timestamp = {Thu, 04 Apr 2024 17:08:34 +0200},
biburl = {https://dblp.org/rec/conf/aina/BalzanoMSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MaubertMPSS20,
author = {Bastien Maubert and
Aniello Murano and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber and
Silvia Stranieri},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Dynamic Epistemic Logic Games with Epistemic Temporal Goals},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {155--162},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200088},
doi = {10.3233/FAIA200088},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/MaubertMPSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BouyerKMMMP20,
author = {Patricia Bouyer and
Orna Kupferman and
Nicolas Markey and
Bastien Maubert and
Aniello Murano and
Giuseppe Perelli},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Reasoning About Quality and Fuzziness of Strategic Behaviours},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {2887--2888},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200437},
doi = {10.3233/FAIA200437},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BouyerKMMMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FijalkowMMV20,
author = {Nathana{\"{e}}l Fijalkow and
Bastien Maubert and
Aniello Murano and
Moshe Y. Vardi},
editor = {Christian Bessiere},
title = {Assume-Guarantee Synthesis for Prompt Linear Temporal Logic},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {117--123},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/17},
doi = {10.24963/IJCAI.2020/17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FijalkowMMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AminofGLMR20,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Christian Bessiere},
title = {Synthesizing strategies under expected and exceptional environment
behaviors},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1674--1680},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/232},
doi = {10.24963/IJCAI.2020/232},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AminofGLMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BozzelliMP20,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Module Checking of Pushdown Multi-agent Systems},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {162--171},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/17},
doi = {10.24963/KR.2020/17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BozzelliMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiacomoMM20,
author = {Giuseppe De Giacomo and
Bastien Maubert and
Aniello Murano},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Nondeterministic Strategies and their Refinement in Strategy Logic},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {294--303},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/30},
doi = {10.24963/KR.2020/30},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GiacomoMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-11638,
author = {Aniello Murano and
Sasha Rubin and
Martin Zimmermann},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Optimal Strategies in Weighted Limit Games},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {114--130},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.8},
doi = {10.4204/EPTCS.326.8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-11638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-07141,
author = {Bastien Maubert and
Aniello Murano and
Sophie Pinchinat and
Fran{\c{c}}ois Schwarzentruber and
Silvia Stranieri},
title = {Dynamic Epistemic Logic Games with Epistemic Temporal Goals},
journal = {CoRR},
volume = {abs/2001.07141},
year = {2020},
url = {https://arxiv.org/abs/2001.07141},
eprinttype = {arXiv},
eprint = {2001.07141},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-07141.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-03664,
author = {Rapha{\"{e}}l Berthon and
Nathana{\"{e}}l Fijalkow and
Emmanuel Filiot and
Shibashis Guha and
Bastien Maubert and
Aniello Murano and
Laureline Pinault and
Sophie Pinchinat and
Sasha Rubin and
Olivier Serre},
title = {Alternating Tree Automata with Qualitative Semantics},
journal = {CoRR},
volume = {abs/2002.03664},
year = {2020},
url = {https://arxiv.org/abs/2002.03664},
eprinttype = {arXiv},
eprint = {2002.03664},
timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-03664.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-04728,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Module checking of pushdown multi-agent systems},
journal = {CoRR},
volume = {abs/2003.04728},
year = {2020},
url = {https://arxiv.org/abs/2003.04728},
eprinttype = {arXiv},
eprint = {2003.04728},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-04728.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-04730,
author = {Rapha{\"{e}}l Berthon and
Bastien Maubert and
Aniello Murano and
Sasha Rubin and
Moshe Y. Vardi},
title = {Strategy Logic with Imperfect Information},
journal = {CoRR},
volume = {abs/2003.04730},
year = {2020},
url = {https://arxiv.org/abs/2003.04730},
eprinttype = {arXiv},
eprint = {2003.04730},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-04730.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-15458,
author = {Bastien Maubert and
Aniello Murano and
Olivier Serre},
title = {Reasoning about strategies on collapsible pushdown arenas with imperfect
information},
journal = {CoRR},
volume = {abs/2007.15458},
year = {2020},
url = {https://arxiv.org/abs/2007.15458},
eprinttype = {arXiv},
eprint = {2007.15458},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-15458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-05643,
author = {Julian Gutierrez and
Aniello Murano and
Giuseppe Perelli and
Sasha Rubin and
Thomas Steeples and
Michael J. Wooldridge},
title = {Equilibria for Games with Combined Qualitative and Quantitative Objectives},
journal = {CoRR},
volume = {abs/2008.05643},
year = {2020},
url = {https://arxiv.org/abs/2008.05643},
eprinttype = {arXiv},
eprint = {2008.05643},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-05643.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-11562,
author = {Aniello Murano and
Sasha Rubin and
Martin Zimmermann},
title = {Optimal Strategies in Weighted Limit Games (full version)},
journal = {CoRR},
volume = {abs/2008.11562},
year = {2020},
url = {https://arxiv.org/abs/2008.11562},
eprinttype = {arXiv},
eprint = {2008.11562},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-11562.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JamrogaMM19,
author = {Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
title = {Natural strategic ability},
journal = {Artif. Intell.},
volume = {277},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.103170},
doi = {10.1016/J.ARTINT.2019.103170},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/JamrogaMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BalzanoMSS19,
author = {Walter Balzano and
Aniello Murano and
Loredana Sorrentino and
Silvia Stranieri},
editor = {Leonard Barolli and
Makoto Takizawa and
Fatos Xhafa and
Tomoya Enokido},
title = {A Smart Compact Traffic Network Vision Based on Wave Representation},
booktitle = {Web, Artificial Intelligence and Network Applications - Proceedings
of the Workshops of the 33rd International Conference on Advanced
Information Networking and Applications, {AINA} Workshops 2019, Matsue,
Japan, March 27-29, 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {927},
pages = {870--879},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-15035-8\_85},
doi = {10.1007/978-3-030-15035-8\_85},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aina/BalzanoMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/AminofGMR19,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Aniello Murano and
Sasha Rubin},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Planning under {LTL} Environment Specifications},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {31--39},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3457},
timestamp = {Thu, 10 Aug 2023 15:31:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/AminofGMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaMM19,
author = {Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Natural Strategic Ability under Imperfect Information},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {962--970},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331791},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BarriereMMR19,
author = {Aur{\`{e}}le Barri{\`{e}}re and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Reasoning about Changes of Observational Power in Logics of Knowledge
and Time},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {971--979},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331792},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BarriereMMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/MonicaMMS19,
author = {Dario Della Monica and
Angelo Montanari and
Aniello Murano and
Guido Sciavicco},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {28--41},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/r3pf},
doi = {10.29007/R3PF},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/MonicaMMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MaubertMPRS19,
author = {Bastien Maubert and
Aniello Murano and
Pasquale Perillo and
Sasha Rubin and
Alessio Spasiano},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Towards a Tool for {LTL} Synthesis with Bounded-Energy Constraints},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {229--234},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper26.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MaubertMPRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AminofKMMR19,
author = {Benjamin Aminof and
Marta Kwiatkowska and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Sarit Kraus},
title = {Probabilistic Strategy Logic},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {32--38},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/5},
doi = {10.24963/IJCAI.2019/5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AminofKMMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliJKM19,
author = {Francesco Belardinelli and
Wojciech Jamroga and
Damian Kurpiewski and
Vadim Malvone and
Aniello Murano},
editor = {Sarit Kraus},
title = {Strategy Logic with Simple Goals: Tractable Reasoning about Strategies},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {88--94},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/13},
doi = {10.24963/IJCAI.2019/13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliJKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BouyerKMMMP19,
author = {Patricia Bouyer and
Orna Kupferman and
Nicolas Markey and
Bastien Maubert and
Aniello Murano and
Giuseppe Perelli},
editor = {Sarit Kraus},
title = {Reasoning about Quality and Fuzziness of Strategic Behaviours},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1588--1594},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/220},
doi = {10.24963/IJCAI.2019/220},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BouyerKMMMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BozzelliMM19,
author = {Laura Bozzelli and
Bastien Maubert and
Aniello Murano},
editor = {Sarit Kraus},
title = {The Complexity of Model Checking Knowledge and Time},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1595--1601},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/221},
doi = {10.24963/IJCAI.2019/221},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BozzelliMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmn/BalzanoMSS19,
author = {Walter Balzano and
Aniello Murano and
Loredana Sorrentino and
Silvia Stranieri},
title = {Network Signal Comparison Through Waves Parameters: a Local-Alignment-Based
Approach},
booktitle = {5th {IEEE} International Symposium on Measurements {\&} Networking,
M{\&}N 2019, Catania, Italy, July 8-10, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IWMN.2019.8805047},
doi = {10.1109/IWMN.2019.8805047},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmn/BalzanoMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BelardinelliLMR19,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Imperfect Information in Alternating-Time Temporal Logic on Finite
Traces},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {469--477},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_31},
doi = {10.1007/978-3-030-33792-6\_31},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/BelardinelliLMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-04349,
author = {Rapha{\"{e}}l Berthon and
Emmanuel Filiot and
Shibashis Guha and
Bastien Maubert and
Aniello Murano and
Laureline Pinault and
Jean{-}Fran{\c{c}}ois Raskin and
Sasha Rubin},
title = {Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable},
journal = {CoRR},
volume = {abs/1901.04349},
year = {2019},
url = {http://arxiv.org/abs/1901.04349},
eprinttype = {arXiv},
eprint = {1901.04349},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-04349.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-11537,
author = {Patricia Bouyer and
Orna Kupferman and
Nicolas Markey and
Bastien Maubert and
Aniello Murano and
Giuseppe Perelli},
title = {Reasoning about Quality and Fuzziness of Strategic Behaviours},
journal = {CoRR},
volume = {abs/1905.11537},
year = {2019},
url = {http://arxiv.org/abs/1905.11537},
eprinttype = {arXiv},
eprint = {1905.11537},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-11537.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-13765,
author = {Antonio Di Stasio and
Aniello Murano and
Giuseppe Perelli and
Moshe Y. Vardi},
title = {Solving Parity Games Using An Automata-Based Algorithm},
journal = {CoRR},
volume = {abs/1910.13765},
year = {2019},
url = {http://arxiv.org/abs/1910.13765},
eprinttype = {arXiv},
eprint = {1910.13765},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-13765.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-08406,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Timed Context-Free Temporal Logics},
journal = {CoRR},
volume = {abs/1911.08406},
year = {2019},
url = {http://arxiv.org/abs/1911.08406},
eprinttype = {arXiv},
eprint = {1911.08406},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-08406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MalvoneMS18,
author = {Vadim Malvone and
Aniello Murano and
Loredana Sorrentino},
title = {Additional Winning Strategies in Reachability Games},
journal = {Fundam. Informaticae},
volume = {159},
number = {1-2},
pages = {175--195},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1662},
doi = {10.3233/FI-2018-1662},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MalvoneMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MalvoneMMS18,
author = {Vadim Malvone and
Fabio Mogavero and
Aniello Murano and
Loredana Sorrentino},
title = {Reasoning about graded strategy quantifiers},
journal = {Inf. Comput.},
volume = {259},
number = {3},
pages = {390--411},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.08.010},
doi = {10.1016/J.IC.2017.08.010},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MalvoneMMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CermakLMM18,
author = {Petr Cerm{\'{a}}k and
Alessio Lomuscio and
Fabio Mogavero and
Aniello Murano},
title = {Practical verification of multi-agent systems against Slk specifications},
journal = {Inf. Comput.},
volume = {261},
pages = {588--614},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.09.011},
doi = {10.1016/J.IC.2017.09.011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CermakLMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AminofMMR18,
author = {Benjamin Aminof and
Vadim Malvone and
Aniello Murano and
Sasha Rubin},
title = {Graded modalities in Strategy Logic},
journal = {Inf. Comput.},
volume = {261},
pages = {634--649},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.022},
doi = {10.1016/J.IC.2018.02.022},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AminofMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AminofMR18,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin},
title = {CTL* with graded path modalities},
journal = {Inf. Comput.},
volume = {262},
pages = {1--21},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.05.001},
doi = {10.1016/J.IC.2018.05.001},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AminofMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FontaineMMPS18,
author = {Ga{\"{e}}lle Fontaine and
Fabio Mogavero and
Aniello Murano and
Giuseppe Perelli and
Loredana Sorrentino},
title = {Cycle detection in computation tree logic},
journal = {Inf. Comput.},
volume = {262},
pages = {265--279},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.09.007},
doi = {10.1016/J.IC.2018.09.007},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FontaineMMPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jhsn/BalzanoMV18,
author = {Walter Balzano and
Aniello Murano and
Fabio Vitale},
title = {SNOT-WiFi: Sensor network-optimized training for wireless fingerprinting},
journal = {J. High Speed Networks},
volume = {24},
number = {1},
pages = {79--87},
year = {2018},
url = {https://doi.org/10.3233/JHS-170582},
doi = {10.3233/JHS-170582},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jhsn/BalzanoMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MonicaM18,
author = {Dario Della Monica and
Aniello Murano},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Parity-energy {ATL} for Qualitative and Quantitative Reasoning in
{MAS}},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1441--1449},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237915},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/MonicaM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/StasioLMM18,
author = {Antonio Di Stasio and
Paolo Domenico Lambiase and
Vadim Malvone and
Aniello Murano},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Dynamic Escape Game},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1806--1808},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237984},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/StasioLMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliLMR18,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Decidable Verification of Multi-agent Systems with Bounded Private
Actions},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1865--1867},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238005},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FijalkowMMR18,
author = {Nathana{\"{e}}l Fijalkow and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Dan R. Ghica and
Achim Jung},
title = {Quantifying Bounds in Strategy Logic},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
pages = {23:1--23:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.23},
doi = {10.4230/LIPICS.CSL.2018.23},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/FijalkowMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/BozzelliMP18,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Timed Context-Free Temporal Logics},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {235--249},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.17},
doi = {10.4204/EPTCS.277.17},
timestamp = {Wed, 07 Dec 2022 23:00:49 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/BozzelliMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/SorrentinoRM18,
author = {Loredana Sorrentino and
Sasha Rubin and
Aniello Murano},
editor = {Alessandro Aldini and
Marco Bernardo},
title = {Graded CTL* over Finite Paths},
booktitle = {Proceedings of the 19th Italian Conference on Theoretical Computer
Science, Urbino, Italy, September 18-20, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2243},
pages = {152--161},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2243/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/SorrentinoRM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliLMR18,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Alternating-time Temporal Logic on Finite Traces},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {77--83},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/11},
doi = {10.24963/IJCAI.2018/11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliDM18,
author = {Francesco Belardinelli and
Catalin Dima and
Aniello Murano},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Bisimulations for Logics of Strategies: {A} Study in Expressiveness
and Verification},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {425--434},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/17992},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MaubertM18,
author = {Bastien Maubert and
Aniello Murano},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Reasoning about Knowledge and Strategies under Hierarchical Information},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {530--540},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/17996},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MaubertM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AminofGMR18,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Aniello Murano and
Sasha Rubin},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Synthesis under Assumptions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {615--616},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18053},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AminofGMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BarriereMMR18,
author = {Aur{\`{e}}le Barri{\`{e}}re and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Changing Observations in Epistemic Temporal Logic},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {621--622},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18005},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BarriereMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BozzelliMP18,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Shmuel Tomi Klein and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira},
title = {Event-Clock Nested Automata},
booktitle = {Language and Automata Theory and Applications - 12th International
Conference, {LATA} 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10792},
pages = {80--92},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77313-1\_6},
doi = {10.1007/978-3-319-77313-1\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BozzelliMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliMS18,
author = {Laura Bozzelli and
Aniello Murano and
Loredana Sorrentino},
editor = {Natasha Alechina and
Kjetil N{\o}rv{\aa}g and
Wojciech Penczek},
title = {Results on Alternating-Time Temporal Logics with Linear Past},
booktitle = {25th International Symposium on Temporal Representation and Reasoning,
{TIME} 2018, Warsaw, Poland, October 15-17, 2018},
series = {LIPIcs},
volume = {120},
pages = {6:1--6:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TIME.2018.6},
doi = {10.4230/LIPICS.TIME.2018.6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BozzelliMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/StasioMV18,
author = {Antonio Di Stasio and
Aniello Murano and
Moshe Y. Vardi},
editor = {Cezar C{\^{a}}mpeanu},
title = {Solving Parity Games: Explicit vs Symbolic},
booktitle = {Implementation and Application of Automata - 23rd International Conference,
{CIAA} 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10977},
pages = {159--172},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94812-6\_14},
doi = {10.1007/978-3-319-94812-6\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/StasioMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-06881,
author = {Aur{\`{e}}le Barri{\`{e}}re and
Bastien Maubert and
Aniello Murano and
Sasha Rubin},
title = {Changing Observations in Epistemic Temporal Logic},
journal = {CoRR},
volume = {abs/1805.06881},
year = {2018},
url = {http://arxiv.org/abs/1805.06881},
eprinttype = {arXiv},
eprint = {1805.06881},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-06881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-12582,
author = {Rapha{\"{e}}l Berthon and
Bastien Maubert and
Aniello Murano},
title = {Decidability results for ATL* with imperfect information and perfect
recall},
journal = {CoRR},
volume = {abs/1805.12582},
year = {2018},
url = {http://arxiv.org/abs/1805.12582},
eprinttype = {arXiv},
eprint = {1805.12582},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-12582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-12592,
author = {Rapha{\"{e}}l Berthon and
Bastien Maubert and
Aniello Murano and
Sasha Rubin and
Moshe Y. Vardi},
title = {Strategy Logic with Imperfect Information},
journal = {CoRR},
volume = {abs/1805.12592},
year = {2018},
url = {http://arxiv.org/abs/1805.12592},
eprinttype = {arXiv},
eprint = {1805.12592},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-12592.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-00028,
author = {Bastien Maubert and
Aniello Murano},
title = {Reasoning about Knowledge and Strategies},
journal = {CoRR},
volume = {abs/1806.00028},
year = {2018},
url = {http://arxiv.org/abs/1806.00028},
eprinttype = {arXiv},
eprint = {1806.00028},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-00028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-06777,
author = {Benjamin Aminof and
Giuseppe De Giacomo and
Aniello Murano and
Sasha Rubin},
title = {Planning and Synthesis Under Assumptions},
journal = {CoRR},
volume = {abs/1807.06777},
year = {2018},
url = {http://arxiv.org/abs/1807.06777},
eprinttype = {arXiv},
eprint = {1807.06777},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-06777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-04271,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Timed context-free temporal logics (extended version)},
journal = {CoRR},
volume = {abs/1808.04271},
year = {2018},
url = {http://arxiv.org/abs/1808.04271},
eprinttype = {arXiv},
eprint = {1808.04271},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-04271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MogaveroMPV16,
author = {Fabio Mogavero and
Aniello Murano and
Giuseppe Perelli and
Moshe Y. Vardi},
title = {Reasoning about Strategies: on the Satisfiability Problem},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:9)2017},
doi = {10.23638/LMCS-13(1:9)2017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MogaveroMPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MogaveroMV17,
author = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {Preface to the Special Issue on {SR} 2014},
journal = {Inf. Comput.},
volume = {254},
pages = {141--142},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.10.005},
doi = {10.1016/J.IC.2016.10.005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MogaveroMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jhsn/BalzanoMS17,
author = {Walter Balzano and
Aniello Murano and
Silvia Stranieri},
title = {Logic-based clustering approach for management and improvement of
VANETs},
journal = {J. High Speed Networks},
volume = {23},
number = {3},
pages = {225--236},
year = {2017},
url = {https://doi.org/10.3233/JHS-170568},
doi = {10.3233/JHS-170568},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jhsn/BalzanoMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaMM17,
author = {Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Reasoning about Natural Strategic Ability},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {714--722},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091227},
timestamp = {Wed, 27 Sep 2017 07:24:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MalvoneMS17,
author = {Vadim Malvone and
Aniello Murano and
Loredana Sorrentino},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Hiding Actions in Multi-Player Games},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1205--1213},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091293},
timestamp = {Thu, 11 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/MalvoneMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BerthonMM17,
author = {Rapha{\"{e}}l Berthon and
Bastien Maubert and
Aniello Murano},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Decidability Results for ATL* with Imperfect Information and Perfect
Recall},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1250--1258},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091299},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BerthonMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliLMR17,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Verification of Multi-agent Systems with Imperfect Information and
Public Actions},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1268--1276},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091301},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliLMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/BalzanoMV17,
author = {Walter Balzano and
Aniello Murano and
Fabio Vitale},
editor = {Leonard Barolli and
Olivier Terzo},
title = {{EENET:} Energy Efficient Detection of NETwork Changes Using a Wireless
Sensor Network},
booktitle = {Complex, Intelligent, and Software Intensive Systems - Proceedings
of the 11th International Conference on Complex, Intelligent, and
Software Intensive Systems (CISIS-2017), Torino, Italy, July 10-12,
2017},
series = {Advances in Intelligent Systems and Computing},
volume = {611},
pages = {1009--1018},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61566-0\_95},
doi = {10.1007/978-3-319-61566-0\_95},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cisis/BalzanoMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/MalvoneM17,
author = {Vadim Malvone and
Aniello Murano},
editor = {Francesco Belardinelli and
Estefania Argente},
title = {Reasoning About Additional Winning Strategies in Two-Player Games},
booktitle = {Multi-Agent Systems and Agreement Technologies - 15th European Conference,
{EUMAS} 2017, and 5th International Conference, {AT} 2017, {\'{E}}vry,
France, December 14-15, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10767},
pages = {163--171},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-01713-2\_12},
doi = {10.1007/978-3-030-01713-2\_12},
timestamp = {Tue, 21 Mar 2023 20:59:05 +0100},
biburl = {https://dblp.org/rec/conf/eumas/MalvoneM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ArcucciMMS17,
author = {Rossella Arcucci and
Umberto Marotta and
Aniello Murano and
Loredana Sorrentino},
editor = {Petros Koumoutsakos and
Michael Lees and
Valeria V. Krzhizhanovskaya and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive
Algorithm},
booktitle = {International Conference on Computational Science, {ICCS} 2017, 12-14
June 2017, Zurich, Switzerland},
series = {Procedia Computer Science},
volume = {108},
pages = {525--534},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.procs.2017.05.120},
doi = {10.1016/J.PROCS.2017.05.120},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccS/ArcucciMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliLMR17,
author = {Francesco Belardinelli and
Alessio Lomuscio and
Aniello Murano and
Sasha Rubin},
editor = {Carles Sierra},
title = {Verification of Broadcasting Multi-Agent Systems against an Epistemic
Strategy Logic},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {91--97},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/14},
doi = {10.24963/IJCAI.2017/14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliLMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/0001MPRW17,
author = {Julian Gutierrez and
Aniello Murano and
Giuseppe Perelli and
Sasha Rubin and
Michael J. Wooldridge},
editor = {Carles Sierra},
title = {Nash Equilibria in Concurrent Games with Lexicographic Preferences},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1067--1073},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/148},
doi = {10.24963/IJCAI.2017/148},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/0001MPRW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BerthonMMRV17,
author = {Rapha{\"{e}}l Berthon and
Bastien Maubert and
Aniello Murano and
Sasha Rubin and
Moshe Y. Vardi},
title = {Strategy logic with imperfect information},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005136},
doi = {10.1109/LICS.2017.8005136},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BerthonMMRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliMPS17,
author = {Laura Bozzelli and
Aniello Murano and
Giuseppe Perelli and
Loredana Sorrentino},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {Hierarchical Cost-Parity Games},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
pages = {6:1--6:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.6},
doi = {10.4230/LIPICS.TIME.2017.6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BozzelliMPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MonicaFMMS17,
author = {Dario Della Monica and
David de Frutos{-}Escrig and
Angelo Montanari and
Aniello Murano and
Guido Sciavicco},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {Evaluation of Temporal Datasets via Interval Temporal Logic Model
Checking},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
pages = {11:1--11:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.11},
doi = {10.4230/LIPICS.TIME.2017.11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/MonicaFMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02107,
author = {Laura Bozzelli and
Aniello Murano},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {On the Complexity of {ATL} and ATL* Module Checking},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {268--282},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.19},
doi = {10.4204/EPTCS.256.19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2017,
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949},
urn = {urn:nbn:de:0074-1949-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08314,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Event-Clock Nested Automata},
journal = {CoRR},
volume = {abs/1711.08314},
year = {2017},
url = {http://arxiv.org/abs/1711.08314},
eprinttype = {arXiv},
eprint = {1711.08314},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MolinariMMPP16,
author = {Alberto Molinari and
Angelo Montanari and
Aniello Murano and
Giuseppe Perelli and
Adriano Peron},
title = {Checking interval properties of computations},
journal = {Acta Informatica},
volume = {53},
number = {6-8},
pages = {587--619},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0250-1},
doi = {10.1007/S00236-015-0250-1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MolinariMMPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MogaveroMV16,
author = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {Relentful strategic reasoning in alternating-time temporal logic},
journal = {J. Log. Comput.},
volume = {26},
number = {5},
pages = {1663--1695},
year = {2016},
url = {https://doi.org/10.1093/logcom/exu052},
doi = {10.1093/LOGCOM/EXU052},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/MogaveroMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CarotenutoMP16,
author = {Dario Carotenuto and
Aniello Murano and
Adriano Peron},
title = {Ordered multi-stack visibly pushdown automata},
journal = {Theor. Comput. Sci.},
volume = {656},
pages = {1--26},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.08.012},
doi = {10.1016/J.TCS.2016.08.012},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CarotenutoMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/BalzanoSMS16,
author = {Walter Balzano and
Maria Rosaria Del Sorbo and
Aniello Murano and
Silvia Stranieri},
editor = {Fatos Xhafa and
Leonard Barolli and
Flora Amato},
title = {A Logic-based Clustering Approach for Cooperative Traffic Control
Systems},
booktitle = {Advances on P2P, Parallel, Grid, Cloud and Internet Computing, Proceedings
of the 11th International Conference on P2P, Parallel, Grid, Cloud
and Internet Computing, 3PGCIC 2016, Soonchunhyang University, Asan,
South Korea, November 5-7, 2016},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {1},
pages = {737--746},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49109-7\_71},
doi = {10.1007/978-3-319-49109-7\_71},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/3pgcic/BalzanoSMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BalzanoSM16,
author = {Walter Balzano and
Maria Rosaria Del Sorbo and
Aniello Murano},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Antonio J. Jara and
Yann Bocchi},
title = {{M-DGPS:} An Algorithm for the Post-Processing of Geodetic Tracks
Based on Multiple {DGPS}},
booktitle = {30th International Conference on Advanced Information Networking and
Applications Workshops, {AINA} 2016 Workshops, Crans-Montana, Switzerland,
March 23-25, 2016},
pages = {58--63},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/WAINA.2016.136},
doi = {10.1109/WAINA.2016.136},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/BalzanoSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BalzanoMV16,
author = {Walter Balzano and
Aniello Murano and
Fabio Vitale},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Antonio J. Jara and
Yann Bocchi},
title = {WiFACT - Wireless Fingerprinting Automated Continuous Training},
booktitle = {30th International Conference on Advanced Information Networking and
Applications Workshops, {AINA} 2016 Workshops, Crans-Montana, Switzerland,
March 23-25, 2016},
pages = {75--80},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/WAINA.2016.137},
doi = {10.1109/WAINA.2016.137},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/BalzanoMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MalvoneMS16,
author = {Vadim Malvone and
Aniello Murano and
Loredana Sorrentino},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Concurrent Multi-Player Parity Games},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {689--697},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937026},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/MalvoneMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AminofMMR16,
author = {Benjamin Aminof and
Vadim Malvone and
Aniello Murano and
Sasha Rubin},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {698--706},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937027},
timestamp = {Fri, 20 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AminofMMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AminofMRZ16,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin and
Florian Zuleger},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1190--1199},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937098},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AminofMRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MalvoneMT16,
author = {Vadim Malvone and
Aniello Murano and
Marco Tafuto},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {NWin: {A} Tool for Counting Winning Strategies (Demonstration)},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1501--1503},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937227},
timestamp = {Fri, 20 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/MalvoneMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MalvoneMS16,
author = {Vadim Malvone and
Aniello Murano and
Loredana Sorrentino},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Hiding Actions in Concurrent Games},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1686--1687},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1686},
doi = {10.3233/978-1-61499-672-9-1686},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/MalvoneMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euspn/BalzanoMV16,
author = {Walter Balzano and
Aniello Murano and
Fabio Vitale},
editor = {Elhadi M. Shakshuki},
title = {{V2V-EN} - Vehicle-2-Vehicle Elastic Network},
booktitle = {The 7th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks {(EUSPN} 2016)/The 6th International Conference
on Current and Future Trends of Information and Communication Technologies
in Healthcare (ICTH-2016)/Affiliated Workshops, September 19-22, 2016,
London, United Kingdom},
series = {Procedia Computer Science},
volume = {98},
pages = {497--502},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.09.084},
doi = {10.1016/J.PROCS.2016.09.084},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/euspn/BalzanoMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MalvoneM16,
author = {Vadim Malvone and
Aniello Murano},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Additional Winning Strategies in Two-Player Games},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {251--256},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/short6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MalvoneM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiacomoMRS16,
author = {Giuseppe De Giacomo and
Aniello Murano and
Sasha Rubin and
Antonio Di Stasio},
editor = {Subbarao Kambhampati},
title = {Imperfect-Information Games and Generalized Planning},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1037--1043},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/151},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiacomoMRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MonicaMMS16,
author = {Dario Della Monica and
Angelo Montanari and
Aniello Murano and
Pietro Sala},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {Prompt Interval Temporal Logic},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {207--222},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_14},
doi = {10.1007/978-3-319-48758-8\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MonicaMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AminofMRZ16,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin and
Florian Zuleger},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Prompt Alternating-Time Epistemic Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {258--267},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12890},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AminofMRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/petra/CuomoCMMCGM16,
author = {Salvatore Cuomo and
Rosanna Campagna and
Pasquale De Michele and
Aniello Murano and
Serena Crisci and
Ardelio Galletti and
Livia Marcellino},
title = {A novel Split Bregman algorithm for {MRI} denoising task in an e-Health
system},
booktitle = {Proceedings of the 9th {ACM} International Conference on PErvasive
Technologies Related to Assistive Environments, {PETRA} 2016, Corfu
Island, Greece, June 29 - July 1, 2016},
pages = {78},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2910674.2910692},
doi = {10.1145/2910674.2910692},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/petra/CuomoCMMCGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/StasioMPV16,
author = {Antonio Di Stasio and
Aniello Murano and
Giuseppe Perelli and
Moshe Y. Vardi},
editor = {Yo{-}Sub Han and
Kai Salomaa},
title = {Solving Parity Games Using an Automata-Based Algorithm},
booktitle = {Implementation and Application of Automata - 21st International Conference,
{CIAA} 2016, Seoul, South Korea, July 19-22, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9705},
pages = {64--76},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40946-7\_6},
doi = {10.1007/978-3-319-40946-7\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/StasioMPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AminofMMR16,
author = {Benjamin Aminof and
Vadim Malvone and
Aniello Murano and
Sasha Rubin},
editor = {Alessio Lomuscio and
Moshe Y. Vardi},
title = {Extended Graded Modalities in Strategy Logic},
booktitle = {Proceedings of the 4th International Workshop on Strategic Reasoning,
{SR} 2016, New York City, USA, 10th July 2016},
series = {{EPTCS}},
volume = {218},
pages = {1--14},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.218.1},
doi = {10.4204/EPTCS.218.1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AminofMMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FontaineMMPS16,
author = {Ga{\"{e}}lle Fontaine and
Fabio Mogavero and
Aniello Murano and
Giuseppe Perelli and
Loredana Sorrentino},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Cycle Detection in Computation Tree Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {164--177},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.12},
doi = {10.4204/EPTCS.226.12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FontaineMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MolinariMMPP16,
author = {Alberto Molinari and
Angelo Montanari and
Aniello Murano and
Giuseppe Perelli and
Adriano Peron},
title = {Checking Interval Properties of Computations},
journal = {CoRR},
volume = {abs/1601.03195},
year = {2016},
url = {http://arxiv.org/abs/1601.03195},
eprinttype = {arXiv},
eprint = {1601.03195},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MolinariMMPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerthonMM16,
author = {Rapha{\"{e}}l Berthon and
Bastien Maubert and
Aniello Murano},
title = {Quantified {CTL} with imperfect information},
journal = {CoRR},
volume = {abs/1611.03524},
year = {2016},
url = {http://arxiv.org/abs/1611.03524},
eprinttype = {arXiv},
eprint = {1611.03524},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BerthonMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MogaveroMS15,
author = {Fabio Mogavero and
Aniello Murano and
Loredana Sorrentino},
title = {On Promptness in Parity Games},
journal = {Fundam. Informaticae},
volume = {139},
number = {3},
pages = {277--305},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1235},
doi = {10.3233/FI-2015-1235},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MogaveroMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MogaveroMV15,
author = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {Special issue on {SR} 2013},
journal = {Inf. Comput.},
volume = {242},
pages = {1},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2015.03.008},
doi = {10.1016/J.IC.2015.03.008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MogaveroMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BenerecettiMM15,
author = {Massimo Benerecetti and
Fabio Mogavero and
Aniello Murano},
title = {Reasoning About Substructures and Games},
journal = {{ACM} Trans. Comput. Log.},
volume = {16},
number = {3},
pages = {25:1--25:51},
year = {2015},
url = {https://doi.org/10.1145/2757286},
doi = {10.1145/2757286},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BenerecettiMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CermakLM15,
author = {Petr Cerm{\'{a}}k and
Alessio Lomuscio and
Aniello Murano},
editor = {Blai Bonet and
Sven Koenig},
title = {Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy
Logic Specifications},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {2038--2044},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9444},
doi = {10.1609/AAAI.V29I1.9444},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CermakLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaM15,
author = {Wojciech Jamroga and
Aniello Murano},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Module Checking of Strategic Ability},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {227--235},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2772911},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/JamrogaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MalvoneMS15,
author = {Vadim Malvone and
Aniello Murano and
Loredana Sorrentino},
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {Games with additional winning strategies},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
pages = {175--180},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459/paper20.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MalvoneMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MuranoP15,
author = {Aniello Murano and
Giuseppe Perelli},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Pushdown Multi-Agent System Verification},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {1090--1097},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/158},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MuranoP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AminofMR15,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {On CTL* with Graded Path Modalities},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {281--296},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_20},
doi = {10.1007/978-3-662-48899-7\_20},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AminofMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/RubinZMA15,
author = {Sasha Rubin and
Florian Zuleger and
Aniello Murano and
Benjamin Aminof},
editor = {Qingliang Chen and
Paolo Torroni and
Serena Villata and
Jane Yung{-}jen Hsu and
Andrea Omicini},
title = {Verification of Asynchronous Mobile-Robots in Partially-Known Environments},
booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9387},
pages = {185--200},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25524-8\_12},
doi = {10.1007/978-3-319-25524-8\_12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/RubinZMA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/MuranoPR15,
author = {Aniello Murano and
Giuseppe Perelli and
Sasha Rubin},
editor = {Qingliang Chen and
Paolo Torroni and
Serena Villata and
Jane Yung{-}jen Hsu and
Andrea Omicini},
title = {Multi-agent Path Planning in Known Dynamic Environments},
booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9387},
pages = {218--231},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25524-8\_14},
doi = {10.1007/978-3-319-25524-8\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/MuranoPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/JamrogaM15,
author = {Wojciech Jamroga and
Aniello Murano},
editor = {Qingliang Chen and
Paolo Torroni and
Serena Villata and
Jane Yung{-}jen Hsu and
Andrea Omicini},
title = {Module Checking for Uncertain Agents},
booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9387},
pages = {232--247},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25524-8\_15},
doi = {10.1007/978-3-319-25524-8\_15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/JamrogaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MalvoneMMS15,
author = {Vadim Malvone and
Fabio Mogavero and
Aniello Murano and
Loredana Sorrentino},
editor = {Fabio Grandi and
Martin Lange and
Alessio Lomuscio},
title = {On the Counting of Strategies},
booktitle = {22nd International Symposium on Temporal Representation and Reasoning,
{TIME} 2015, Kassel, Germany, September 23-25, 2015},
pages = {170--179},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TIME.2015.19},
doi = {10.1109/TIME.2015.19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/MalvoneMMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/MuranoS15,
author = {Aniello Murano and
Loredana Sorrentino},
editor = {Claudia Di Napoli and
Silvia Rossi and
Mariacarla Staffa},
title = {A Game-based Model for Human-robots Interaction},
booktitle = {Proceedings of the 16th Workshop "From Objects to Agents", Naples,
Italy, June 17-19, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1382},
pages = {146--150},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1382/paper23.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:40 +0100},
biburl = {https://dblp.org/rec/conf/woa/MuranoS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AminofMM14,
author = {Benjamin Aminof and
Fabio Mogavero and
Aniello Murano},
title = {Synthesis of hierarchical systems},
journal = {Sci. Comput. Program.},
volume = {83},
pages = {56--79},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.07.001},
doi = {10.1016/J.SCICO.2013.07.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AminofMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FaellaTM14,
author = {Marco Faella and
Salvatore La Torre and
Aniello Murano},
title = {Automata-theoretic decision of timed games},
journal = {Theor. Comput. Sci.},
volume = {515},
pages = {46--63},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.08.021},
doi = {10.1016/J.TCS.2013.08.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FaellaTM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FaellaM14,
author = {Marco Faella and
Aniello Murano},
title = {Preface to the special issue on GandALF 2012},
journal = {Theor. Comput. Sci.},
volume = {560},
pages = {217--218},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.11.021},
doi = {10.1016/J.TCS.2014.11.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FaellaM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MogaveroMPV14,
author = {Fabio Mogavero and
Aniello Murano and
Giuseppe Perelli and
Moshe Y. Vardi},
title = {Reasoning About Strategies: On the Model-Checking Problem},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {34:1--34:47},
year = {2014},
url = {https://doi.org/10.1145/2631917},
doi = {10.1145/2631917},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/MogaveroMPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaM14,
author = {Wojciech Jamroga and
Aniello Murano},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {On module checking and strategies},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {701--708},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2615845},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MogaveroMS14,
author = {Fabio Mogavero and
Aniello Murano and
Luigi Sauro},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Strategy games: a renewed framework},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {869--876},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2615871},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/MogaveroMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CermakLMM14,
author = {Petr Cerm{\'{a}}k and
Alessio Lomuscio and
Fabio Mogavero and
Aniello Murano},
editor = {Armin Biere and
Roderick Bloem},
title = {{MCMAS-SLK:} {A} Model Checker for the Verification of Strategy Logic
Specifications},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {525--532},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_34},
doi = {10.1007/978-3-319-08867-9\_34},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/CermakLMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/MogaveroMS14,
author = {Fabio Mogavero and
Aniello Murano and
Luigi Sauro},
editor = {Nils Bulling and
Leendert W. N. van der Torre and
Serena Villata and
Wojtek Jamroga and
Wamberto Weber Vasconcelos},
title = {A Behavioral Hierarchy of Strategy Logic},
booktitle = {Computational Logic in Multi-Agent Systems - 15th International Workshop,
{CLIMA} XV, Prague, Czech Republic, August 18-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8624},
pages = {148--165},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09764-0\_10},
doi = {10.1007/978-3-319-09764-0\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/MogaveroMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/StasioMPS14,
author = {Antonio Di Stasio and
Aniello Murano and
Vincenzo Prignano and
Loredana Sorrentino},
editor = {Ivan Lanese and
Eric Madelaine},
title = {Solving Parity Games in Scala},
booktitle = {Formal Aspects of Component Software - 11th International Symposium,
{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {145--161},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15317-9\_9},
doi = {10.1007/978-3-319-15317-9\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/StasioMPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MontanariMPP14,
author = {Angelo Montanari and
Aniello Murano and
Giuseppe Perelli and
Adriano Peron},
editor = {Amedeo Cesta and
Carlo Combi and
Fran{\c{c}}ois Laroussinie},
title = {Checking Interval Properties of Computations},
booktitle = {21st International Symposium on Temporal Representation and Reasoning,
{TIME} 2014, Verona, Italy, September 8-10, 2014},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TIME.2014.24},
doi = {10.1109/TIME.2014.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MontanariMPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/MogaveroMV14,
editor = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {Proceedings 2nd International Workshop on Strategic Reasoning, {SR}
2014, Grenoble, France, April 5-6, 2014},
series = {{EPTCS}},
volume = {146},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.146},
doi = {10.4204/EPTCS.146},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MogaveroMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CermakLMM14,
author = {Petr Cerm{\'{a}}k and
Alessio Lomuscio and
Fabio Mogavero and
Aniello Murano},
title = {{MCMAS-SLK:} {A} Model Checker for the Verification of Strategy Logic
Specifications},
journal = {CoRR},
volume = {abs/1402.2948},
year = {2014},
url = {http://arxiv.org/abs/1402.2948},
eprinttype = {arXiv},
eprint = {1402.2948},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CermakLMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AminofMR14,
author = {Benjamin Aminof and
Aniello Murano and
Sasha Rubin},
title = {Satisfiability and Model Checking of CTL* with Graded Path Modalities},
journal = {CoRR},
volume = {abs/1410.7551},
year = {2014},
url = {http://arxiv.org/abs/1410.7551},
eprinttype = {arXiv},
eprint = {1410.7551},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AminofMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AminofLMSV13,
author = {Benjamin Aminof and
Axel Legay and
Aniello Murano and
Olivier Serre and
Moshe Y. Vardi},
title = {Pushdown module checking with imperfect information},
journal = {Inf. Comput.},
volume = {223},
pages = {1--17},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2012.11.005},
doi = {10.1016/J.IC.2012.11.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AminofLMSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MogaveroMS13,
author = {Fabio Mogavero and
Aniello Murano and
Luigi Sauro},
title = {On the Boundary of Behavioral Strategies},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {263--272},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.32},
doi = {10.1109/LICS.2013.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MogaveroMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BenerecettiMM13,
author = {Massimo Benerecetti and
Fabio Mogavero and
Aniello Murano},
title = {Substructure Temporal Logic},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {368--377},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.43},
doi = {10.1109/LICS.2013.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BenerecettiMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MogaveroMS13,
author = {Fabio Mogavero and
Aniello Murano and
Loredana Sorrentino},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {On Promptness in Parity Games},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {601--618},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_40},
doi = {10.1007/978-3-642-45221-5\_40},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MogaveroMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1303-0071,
editor = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {Proceedings 1st International Workshop on Strategic Reasoning, {SR}
2013, Rome, Italy, March 16-17, 2013},
series = {{EPTCS}},
volume = {112},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.112},
doi = {10.4204/EPTCS.112},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-0071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AminofKM12,
author = {Benjamin Aminof and
Orna Kupferman and
Aniello Murano},
title = {Improved model checking of hierarchical systems},
journal = {Inf. Comput.},
volume = {210},
pages = {68--86},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2011.10.008},
doi = {10.1016/J.IC.2011.10.008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AminofKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BiancoFMM12,
author = {Alessandro Bianco and
Marco Faella and
Fabio Mogavero and
Aniello Murano},
title = {Quantitatively fair scheduling},
journal = {Theor. Comput. Sci.},
volume = {413},
number = {1},
pages = {160--175},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.06.029},
doi = {10.1016/J.TCS.2011.06.029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BiancoFMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BiancoMM12,
author = {Alessandro Bianco and
Fabio Mogavero and
Aniello Murano},
title = {Graded computation tree logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {13},
number = {3},
pages = {25:1--25:53},
year = {2012},
url = {https://doi.org/10.1145/2287718.2287725},
doi = {10.1145/2287718.2287725},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BiancoMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MogaveroMPV12,
author = {Fabio Mogavero and
Aniello Murano and
Giuseppe Perelli and
Moshe Y. Vardi},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {What Makes Atl* Decidable? {A} Decidable Fragment of Strategy Logic},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {193--208},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_15},
doi = {10.1007/978-3-642-32940-1\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/MogaveroMPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwl/CuomoFM12,
author = {Salvatore Cuomo and
Vittorio Fuccella and
Aniello Murano},
editor = {Elvira Popescu and
Qing Li and
Ralf Klamma and
Howard Leung and
Marcus Specht},
title = {Slide Test Maker An Educational Software Tool for Test Composition},
booktitle = {Advances in Web-Based Learning - {ICWL} 2012 - 11th International
Conference, Sinaia, Romania, September 2-4, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7558},
pages = {249--257},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33642-3\_27},
doi = {10.1007/978-3-642-33642-3\_27},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icwl/CuomoFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/petra/CuomoMPG12,
author = {Salvatore Cuomo and
Aniello Murano and
Francesco Piccialli and
Ennio Del Giudice},
editor = {Fillia Makedon},
title = {A social network framework for the Carolina software},
booktitle = {The 5th International Conference on PErvasive Technologies Related
to Assistive Environments, {PETRA} 2012, Heraklion, Crete, Greece,
June 6-9, 2012},
pages = {34},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2413097.2413141},
doi = {10.1145/2413097.2413141},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/petra/CuomoMPG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1210-2028,
editor = {Marco Faella and
Aniello Murano},
title = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96},
doi = {10.4204/EPTCS.96},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-1309,
author = {Fabio Mogavero and
Aniello Murano and
Giuseppe Perelli and
Moshe Y. Vardi},
title = {A Decidable Fragment of Strategy Logic},
journal = {CoRR},
volume = {abs/1202.1309},
year = {2012},
url = {http://arxiv.org/abs/1202.1309},
eprinttype = {arXiv},
eprint = {1202.1309},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-1309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BiancoFMM11,
author = {Alessandro Bianco and
Marco Faella and
Fabio Mogavero and
Aniello Murano},
title = {Exploring the boundary of half-positionality},
journal = {Ann. Math. Artif. Intell.},
volume = {62},
number = {1-2},
pages = {55--77},
year = {2011},
url = {https://doi.org/10.1007/s10472-011-9250-1},
doi = {10.1007/S10472-011-9250-1},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BiancoFMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/CuomoMP11,
author = {Salvatore Cuomo and
Aniello Murano and
Francesco Piccialli},
editor = {Vicente Traver and
Ana L. N. Fred and
Joaquim Filipe and
Hugo Gamboa},
title = {The C@Rolin@ Software - {A} System for Monitoring Skills Development
of Children with Down Syndrome},
booktitle = {{HEALTHINF} 2011 - Proceedings of the International Conference on
Health Informatics, Rome, Italy, 26-29 January, 2011},
pages = {180--185},
publisher = {SciTePress},
year = {2011},
timestamp = {Tue, 18 Oct 2022 21:16:17 +0200},
biburl = {https://dblp.org/rec/conf/biostec/CuomoMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dms/CostagliolaCFM11,
author = {Gennaro Costagliola and
Salvatore Cuomo and
Vittorio Fuccella and
Aniello Murano},
title = {A Sketch-Based System for Teaching Geometry},
booktitle = {Proceedings of the 17th International Conference on Distributed Multimedia
Systems, {DMS} 2011, October 18-20, 2011, Convitto della Calza, Florence,
Italy},
pages = {246--249},
publisher = {Knowledge Systems Institute},
year = {2011},
timestamp = {Mon, 29 Oct 2012 12:45:42 +0100},
biburl = {https://dblp.org/rec/conf/dms/CostagliolaCFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/AminofMM11,
author = {Benjamin Aminof and
Fabio Mogavero and
Aniello Murano},
editor = {Farhad Arbab and
Peter Csaba {\"{O}}lveczky},
title = {Synthesis of Hierarchical Systems},
booktitle = {Formal Aspects of Component Software - 8th International Symposium,
{FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7253},
pages = {42--60},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35743-5\_4},
doi = {10.1007/978-3-642-35743-5\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/AminofMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-6275,
author = {Fabio Mogavero and
Aniello Murano and
Giuseppe Perelli and
Moshe Y. Vardi},
title = {Reasoning About Strategies: On the Model-Checking Problem},
journal = {CoRR},
volume = {abs/1112.6275},
year = {2011},
url = {http://arxiv.org/abs/1112.6275},
eprinttype = {arXiv},
eprint = {1112.6275},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-6275.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BozzelliMP10,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
title = {Pushdown module checking},
journal = {Formal Methods Syst. Des.},
volume = {36},
number = {1},
pages = {65--95},
year = {2010},
url = {https://doi.org/10.1007/s10703-010-0093-x},
doi = {10.1007/S10703-010-0093-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BozzelliMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BiancoFMM10,
author = {Alessandro Bianco and
Marco Faella and
Fabio Mogavero and
Aniello Murano},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Leite and
Guido Governatori and
Wojtek Jamroga},
title = {Exploring the Boundary of Half Positionality},
booktitle = {Computational Logic in Multi-Agent Systems, 11th International Workshop,
{CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6245},
pages = {171--185},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14977-1\_14},
doi = {10.1007/978-3-642-14977-1\_14},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/clima/BiancoFMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BiancoMM10,
author = {Alessandro Bianco and
Fabio Mogavero and
Aniello Murano},
editor = {Anuj Dawar and
Helmut Veith},
title = {Graded Computation Tree Logic with Binary Coding},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {125--139},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_13},
doi = {10.1007/978-3-642-15205-4\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BiancoMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dms/CuomoFM10,
author = {Salvatore Cuomo and
Vittorio Fuccella and
Aniello Murano},
title = {Full Formative Assessment based on Educational Video Games},
booktitle = {Proceedings of the 16th International Conference on Distributed Multimedia
Systems, {DMS} 2010, October 14-16, 2010, Hyatt Lodge at McDonald's
Campus, Oak Brook, Illinois, {USA}},
pages = {228--231},
publisher = {Knowledge Systems Institute},
year = {2010},
timestamp = {Fri, 26 Nov 2010 10:09:52 +0100},
biburl = {https://dblp.org/rec/conf/dms/CuomoFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MogaveroMV10,
author = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Reasoning About Strategies},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
Chennai, India},
series = {LIPIcs},
volume = {8},
pages = {133--144},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.133},
doi = {10.4230/LIPICS.FSTTCS.2010.133},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/MogaveroMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MogaveroMV10,
author = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
editor = {Edmund M. Clarke and
Andrei Voronkov},
title = {Relentful Strategic Reasoning in Alternating-Time Temporal Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6355},
pages = {371--386},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17511-4\_21},
doi = {10.1007/978-3-642-17511-4\_21},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MogaveroMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AminofKM10,
author = {Benjamin Aminof and
Orna Kupferman and
Aniello Murano},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Improved Model Checking of Hierarchical Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {61--77},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_8},
doi = {10.1007/978-3-642-11319-2\_8},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AminofKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-5097,
author = {Alessandro Bianco and
Marco Faella and
Fabio Mogavero and
Aniello Murano},
editor = {Alessandra Di Pierro and
Gethin Norman},
title = {Quantitative Fairness Games},
booktitle = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
series = {{EPTCS}},
volume = {28},
pages = {48--63},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.28.4},
doi = {10.4204/EPTCS.28.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-5097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/MogaveroM09,
author = {Fabio Mogavero and
Aniello Murano},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Branching-Time Temporal Logics with Minimal Model Quantifiers},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {396--409},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_32},
doi = {10.1007/978-3-642-02737-6\_32},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/MogaveroM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/DAnielloCM09,
author = {Biagio D'Aniello and
Salvatore Cuomo and
Aniello Murano},
title = {The "INNOVAMBIENTE" Project: An Interdisciplinary Approach
Integrating Natural Science, Mathematics and Computer Science},
booktitle = {The 9th {IEEE} International Conference on Advanced Learning Technologies,
{ICALT} 2009, Riga, Latvia, July 15-17, 2009},
pages = {604--605},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICALT.2009.164},
doi = {10.1109/ICALT.2009.164},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalt/DAnielloCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BiancoMM09,
author = {Alessandro Bianco and
Fabio Mogavero and
Aniello Murano},
title = {Graded Computation Tree Logic},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {342--351},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.28},
doi = {10.1109/LICS.2009.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BiancoMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BiancoFMM09,
author = {Alessandro Bianco and
Marco Faella and
Fabio Mogavero and
Aniello Murano},
editor = {Rastislav Kr{\'{a}}lovic and
Damian Niwinski},
title = {Balanced Paths in Colored Graphs},
booktitle = {Mathematical Foundations of Computer Science 2009, 34th International
Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
24-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5734},
pages = {149--161},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03816-7\_14},
doi = {10.1007/978-3-642-03816-7\_14},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BiancoFMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/petra/Murano09,
author = {Aniello Murano},
title = {A technological infrastructure design for a pediatric oncology network},
booktitle = {Proceedings of the 2nd International Conference on Pervasive Technologies
Related to Assistive Environments, {PETRA} 2009, Corfu, Greece, June
9-13, 2009},
series = {{ACM} International Conference Proceeding Series},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1579114.1579151},
doi = {10.1145/1579114.1579151},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/petra/Murano09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BonattiLMV08,
author = {Piero A. Bonatti and
Carsten Lutz and
Aniello Murano and
Moshe Y. Vardi},
title = {The Complexity of Enriched Mu-Calculi},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {3},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(3:11)2008},
doi = {10.2168/LMCS-4(3:11)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BonattiLMV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FerranteMP08,
author = {Alessandro Ferrante and
Aniello Murano and
Mimmo Parente},
title = {Enriched {\(\mathrm{\mu}\)}-Calculi Module Checking},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {3},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(3:1)2008},
doi = {10.2168/LMCS-4(3:1)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FerranteMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/AminofLMS08,
author = {Benjamin Aminof and
Axel Legay and
Aniello Murano and
Olivier Serre},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {{\(\mathrm{\mu}\)}-calculus Pushdown Module Checking with Imperfect
State Information},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {333--348},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_23},
doi = {10.1007/978-0-387-09680-3\_23},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/AminofLMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MuranoNP08,
author = {Aniello Murano and
Margherita Napoli and
Mimmo Parente},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Program Complexity in Hierarchical Module Checking},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {318--332},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_23},
doi = {10.1007/978-3-540-89439-1\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MuranoNP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0805-3462,
author = {Alessandro Ferrante and
Aniello Murano and
Mimmo Parente},
title = {Enriched MU-Calculi Module Checking},
journal = {CoRR},
volume = {abs/0805.3462},
year = {2008},
url = {http://arxiv.org/abs/0805.3462},
eprinttype = {arXiv},
eprint = {0805.3462},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0805-3462.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-0360,
author = {Piero A. Bonatti and
Carsten Lutz and
Aniello Murano and
Moshe Y. Vardi},
title = {The Complexity of Enriched Mu-Calculi},
journal = {CoRR},
volume = {abs/0809.0360},
year = {2008},
url = {http://arxiv.org/abs/0809.0360},
eprinttype = {arXiv},
eprint = {0809.0360},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-0360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AminofMV07,
author = {Benjamin Aminof and
Aniello Murano and
Moshe Y. Vardi},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Pushdown Module Checking with Imperfect Information},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {460--475},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_31},
doi = {10.1007/978-3-540-74407-8\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AminofMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CarotenutoMP07,
author = {Dario Carotenuto and
Aniello Murano and
Adriano Peron},
editor = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}}},
title = {2-Visibly Pushdown Automata},
booktitle = {Developments in Language Theory, 11th International Conference, {DLT}
2007, Turku, Finland, July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4588},
pages = {132--144},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73208-2\_15},
doi = {10.1007/978-3-540-73208-2\_15},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CarotenutoMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/FerranteM07,
author = {Alessandro Ferrante and
Aniello Murano},
editor = {Helmut Seidl},
title = {Enriched {\(\mathrm{\mu}\)}-Calculi Module Checking},
booktitle = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {183--197},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_14},
doi = {10.1007/978-3-540-71389-0\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/FerranteM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FerranteMP07,
author = {Alessandro Ferrante and
Aniello Murano and
Mimmo Parente},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {Enriched {\(\mathrm{\mu}\)}-Calculus Pushdown Module Checking},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {438--453},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_32},
doi = {10.1007/978-3-540-75560-9\_32},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FerranteMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KupfermanMM06,
author = {Orna Kupferman and
Gila Morgenstern and
Aniello Murano},
title = {Typeness for omega-regular Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {17},
number = {4},
pages = {869--884},
year = {2006},
url = {https://doi.org/10.1142/S0129054106004157},
doi = {10.1142/S0129054106004157},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KupfermanMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BonattiLMV06,
author = {Piero A. Bonatti and
Carsten Lutz and
Aniello Murano and
Moshe Y. Vardi},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {The Complexity of Enriched \emph{{\(\mathrm{\mu}\)}}-Calculi},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {540--551},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_46},
doi = {10.1007/11787006\_46},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BonattiLMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TorreMN05,
author = {Salvatore La Torre and
Aniello Murano and
Margherita Napoli},
title = {Weak Muller acceptance conditions for tree automata},
journal = {Theor. Comput. Sci.},
volume = {332},
number = {1-3},
pages = {233--250},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.10.027},
doi = {10.1016/J.TCS.2004.10.027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TorreMN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BozzelliMP05,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Pushdown Module Checking},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {504--518},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_35},
doi = {10.1007/11591191\_35},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BozzelliMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KupfermanMM04,
author = {Orna Kupferman and
Gila Morgenstern and
Aniello Murano},
editor = {Farn Wang},
title = {Typeness for omega-Regular Automata},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {324--338},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_27},
doi = {10.1007/978-3-540-30476-0\_27},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/KupfermanMM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/TorreM04,
author = {Salvatore La Torre and
Aniello Murano},
editor = {Zhiming Liu and
Keijiro Araki},
title = {Reasoning About Co-B{\"{u}}chi Tree Automata},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {527--542},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_37},
doi = {10.1007/978-3-540-31862-0\_37},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/TorreM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TorreMP04,
author = {Salvatore La Torre and
Aniello Murano and
Mimmo Parente},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Model-checking the Secure Release of a Time-locked Secret over a Network},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {229--243},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.010},
doi = {10.1016/J.ENTCS.2004.02.010},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TorreMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Murano02,
author = {Aniello Murano},
title = {Decision problems on tree automata and synthesis of open timed systems},
school = {University of Salerno, Italy},
year = {2002},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0004230},
timestamp = {Sat, 06 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Murano02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/TorreMM02,
author = {Salvatore La Torre and
Supratik Mukhopadhyay and
Aniello Murano},
editor = {Ricardo A. Baeza{-}Yates and
Ugo Montanari and
Nicola Santoro},
title = {Optimal-Reachability and Control for Acyclic Weighted Timed Automata},
booktitle = {Foundations of Information Technology in the Era of Networking and
Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
- {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {223},
pages = {485--497},
publisher = {Kluwer},
year = {2002},
url = {https://doi.org/10.1007/978-0-387-35608-2\_40},
doi = {10.1007/978-0-387-35608-2\_40},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/TorreMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FaellaTM02,
author = {Marco Faella and
Salvatore La Torre and
Aniello Murano},
title = {Dense Real-Time Games},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {167--176},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029826},
doi = {10.1109/LICS.2002.1029826},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FaellaTM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FaellaTM02,
author = {Marco Faella and
Salvatore La Torre and
Aniello Murano},
editor = {Agostino Cortesi},
title = {Automata-Theoretic Decision of Timed Games},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {94--108},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_7},
doi = {10.1007/3-540-47813-2\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FaellaTM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/TorreMN02,
author = {Salvatore La Torre and
Aniello Murano and
Margherita Napoli},
editor = {Agostino Cortesi},
title = {Weak Muller Acceptance Conditions for Tree Automata},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {240--254},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_17},
doi = {10.1007/3-540-47813-2\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/TorreMN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
