Aniello Murano

263 papers A* 44A 25B 25C 16Misc 4Journal 94Unranked 49

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	APODSS: An Agentic Pediatric Oncology Decision Support System. ICAART (1) Marco Aruta, Ciro Listone, Shilpa Srinivasareddy, Aniello Murano
2026	—	`conf`	An Innovative Infrastructure for a Pediatric Oncology Network in the Campania Region. BIOSTEC (3) Erica Ambrosino, Marco Aruta, Dalia As Ad, Sara Ferrigno, Ciro Listone, Floriana Nappi, Salvatore Romano, Melania Ruopolo, Francesco Adinolfi, Michele Cimmino, Mariapia Raimondo, Francesco Serino, Aniello Murano
2026	—	`conf`	FindMe Reforged: Temporal Logic AI for Richer Videogame Scenarios. ICAART (3) Vadim Malvone, Aniello Murano, Vincenzo Pio Palma, Salvatore Romano
2026	B	`conf`	Inquisitive Team Semantics of LTL. FoSSaCS Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano
2026	J	`jnl`	Module checking of pushdown multi-agent systems. Log. Methods Comput. Sci. Laura Bozzelli, Aniello Murano, Adriano Peron
2026	—	`conf`	Toward Explainable Diagnosis: A Neurosymbolic Approach. ICAART (4) Ciro Listone, Vadim Malvone, Aniello Murano
2026	J	`jnl`	Verification of Robust Multi-Agent Systems. CoRR Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2026	A*	`conf`	When Natural Strategies Meet Fuzziness and Resource-Bounded Actions. AAAI Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano
2025	J	`jnl`	A formal approach to attack graphs. Ann. Math. Artif. Intell. Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
2025	J	`jnl`	ADNF-Clustering: An Adaptive and Dynamic Neuro-Fuzzy Clustering for Leukemia Prediction. CoRR Marco Aruta, Ciro Listone, Giuseppe Murano, Aniello Murano
2025	J	`jnl`	Advances in Multi-Agent Systems Research: Extended Selected Papers from EUMAS 2022 and EUMAS 2023. SN Comput. Sci. Dorothea Baumeister, Jörg Rothe, Nikos Spanoudakis, Vadim Malvone, Aniello Murano
2025	A*	`conf`	An Intuitionistic Version of Alternating-Time Temporal Logic. KR Laura Bozzelli, Andrea Capone, Davide Catta, Aniello Murano
2025	A	`conf`	FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm. AAMAS Marco Aruta, Vadim Malvone, Aniello Murano, Vincenzo Pio Palma, Salvatore Romano
2025	A*	`conf`	First-Order Coalition Logic. IJCAI Davide Catta, Rustam Galimullin, Aniello Murano
2025	J	`jnl`	First-Order Coalition Logic. CoRR Davide Catta, Rustam Galimullin, Aniello Murano
2025	J	`jnl`	Formal verification and synthesis of mechanisms for social choice. Artif. Intell. Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2025	J	`jnl`	Game-Theoretic Consensus Deep Learning for Adaptive Flood Prediction in Digital Twin Environments. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. Youcef Djenouri, Michal Tomasz Godziszewski, Fabio A. A. Andrade, Gautam Srivastava, Ahmed Nabil Belbachir, Aniello Murano
2025	J	`jnl`	Inquisitive Team Semantics of LTL. CoRR Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano
2025	J	`jnl`	Repairing General Game Descriptions (extended version). CoRR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2025	A*	`conf`	Repairing General Game Descriptions. KR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2025	A	`conf`	Robust Strategies for Stochastic Multi-Agent Systems. AAMAS Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2025	A*	`conf`	Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments. IJCAI Wojciech Jamroga, Michal Tomasz Godziszewski, Aniello Murano
2025	Misc	`conf`	Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information. PAAMS Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano
2025	J	`jnl`	When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version). CoRR Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano
2024	B	`ed.`	32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, February 19-23, 2024 CSL Aniello Murano, Alexandra Silva
2024	J	`jnl`	A Model Checker for Natural Strategic Ability. CoRR Marco Aruta, Vadim Malvone, Aniello Murano
2024	C	`conf`	ATL for Dynamic Gaming Environments. EUMAS Marco Aruta, Aniello Murano, Salvatore Romano
2024	—	`conf`	Development of Natural Strategies in Strategic Logics (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA Marco Aruta, Vadim Malvone, Aniello Murano
2024	—	`conf`	Formal Aspects of Strategic Reasoning. KoDis+CAKR+SYNERGY@KR Aniello Murano
2024	A*	`conf`	Incentive Design for Rational Agents. KR David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge
2024	A*	`conf`	Natural Strategic Ability in Stochastic Multi-Agent Systems. AAAI Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2024	J	`jnl`	Natural Strategic Ability in Stochastic Multi-Agent Systems. CoRR Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2024	A	`conf`	Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. AAMAS Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
2024	J	`jnl`	On the Complexity of Model Checking Knowledge and Time. ACM Trans. Comput. Log. Laura Bozzelli, Bastien Maubert, Aniello Murano
2024	C	`conf`	Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy. EUMAS Francesco Spegni, Luca Spalazzi, Roberto Rosetti, Aniello Murano
2024	A	`conf`	Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli
2024	—	`conf`	Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA Michal Tomasz Godziszewski, Davide Catta, Aniello Murano
2024	C	`conf`	Temporal Truth in the Limit: Yablo's Paradox in LTL EUMAS Michal Tomasz Godziszewski, Davide Catta, Aniello Murano
2024	B	`conf`	Theory and Practice of Quantitative ATL. PRIMA Angelo Ferrando, Giulia Luongo, Vadim Malvone, Aniello Murano
2024	A*	`conf`	Verification of General Games with Imperfect Information Using Strategy Logic. KR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2024	A	`conf`	Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. AAMAS Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano
2023	—	`conf`	A Game Theoretic Approach to Attack Graphs. ICAART (1) Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano
2023	—	`conf`	A Multi-Agent Game for Sentiment Analysis (short paper). IPS-RCRA-SPIRIT@AI*IA Aniello Murano, Mimmo Parente, Silvia Stranieri
2023	A*	`conf`	Discounting in Strategy Logic. IJCAI Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2023	J	`jnl`	Discounting in Strategy Logic. CoRR Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2023	A*	`conf`	Formal Verification of Bayesian Mechanisms. AAAI Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2023	C	`conf`	HYASM: A Tool to Verify Hierarchical Systems. WETICE Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri
2023	J	`jnl`	Logical aspects of multi-agent systems. Ann. Math. Artif. Intell. Bastien Maubert, Aniello Murano, Sasha Rubin
2023	—	`conf`	Multi-Agent Parking Problem with Sequential Allocation. ICAART (3) Aniello Murano, Silvia Stranieri, Munyque Mittelmann
2023	C	`ed.`	Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings EUMAS Vadim Malvone, Aniello Murano
2023	Misc	`conf`	Parking Problem with Multiple Gates. PAAMS Francesco Noviello, Munyque Mittelmann, Aniello Murano, Silvia Stranieri
2023	—	`ed.`	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. IPS/RiCeRcA/SPIRIT@AI*IA Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati
2023	—	`conf`	Reasoning about Intuitionistic Computation Tree Logic. AREA@ECAI Davide Catta, Vadim Malvone, Aniello Murano
2023	J	`jnl`	Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2023	B	`conf`	Robust Alternating-Time Temporal Logic. JELIA Aniello Murano, Daniel Neider, Martin Zimmermann
2023	J	`jnl`	Robust Alternating-Time Temporal Logic. CoRR Aniello Murano, Daniel Neider, Martin Zimmermann
2023	A*	`conf`	Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
2023	J	`jnl`	Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
2023	A*	`conf`	Strategic Abilities of Forgetful Agents in Stochastic Environments. KR Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
2023	J	`jnl`	Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
2022	A*	`conf`	Automated Synthesis of Mechanisms. IJCAI Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2022	J	`jnl`	Context-free timed formalisms: Robust automata and linear temporal logics. Inf. Comput. Laura Bozzelli, Aniello Murano, Adriano Peron
2022	A*	`conf`	Public and Private Affairs in Strategic Reasoning. KR Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2022	A	`conf`	Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2022	J	`jnl`	Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2022	—	`conf`	Synthesis of Mechanisms with Strategy Logic. ICTCS Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2022	J	`jnl`	The Parking Problem: A Game-Theoretic Solution. CoRR Giuseppe Calise, Aniello Murano, Silvia Stranieri
2022	J	`jnl`	Verification of agent navigation in partially-known environments. Artif. Intell. Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
2021	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2021	J	`jnl`	Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
2021	J	`jnl`	Improving parity games in practice. Ann. Math. Artif. Intell. Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino
2021	J	`jnl`	Preface. Inf. Comput. Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin
2021	A*	`conf`	Reasoning About Agents That May Know Other Agents' Strategies. IJCAI Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
2021	A*	`conf`	Strategic Reasoning in Automated Mechanism Design. KR Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2021	J	`jnl`	Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2021	A*	`conf`	Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2021	A*	`conf`	Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli
2021	J	`jnl`	Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games. Concurr. Comput. Pract. Exp. Luisa D'Amore, Aniello Murano, Loredana Sorrentino, Rossella Arcucci, Giuliano Laccetti
2020	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. CoRR Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2020	J	`jnl`	Alternating-time temporal logics with linear past. Theor. Comput. Sci. Laura Bozzelli, Aniello Murano, Loredana Sorrentino
2020	A*	`conf`	Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. IJCAI Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi
2020	—	`conf`	Behavioral Clustering: A New Approach for Traffic Congestion Evaluation. AINA Workshops Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
2020	A	`conf`	Dynamic Epistemic Logic Games with Epistemic Temporal Goals. ECAI Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
2020	J	`jnl`	Dynamic Epistemic Logic Games with Epistemic Temporal Goals. CoRR Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
2020	J	`jnl`	Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
2020	J	`jnl`	Hierarchical cost-parity games. Theor. Comput. Sci. Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2020	J	`jnl`	Model-checking graded computation-tree logic with finite path semantics. Theor. Comput. Sci. Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino
2020	A*	`conf`	Module Checking of Pushdown Multi-agent Systems. KR Laura Bozzelli, Aniello Murano, Adriano Peron
2020	J	`jnl`	Module checking of pushdown multi-agent systems. CoRR Laura Bozzelli, Aniello Murano, Adriano Peron
2020	A*	`conf`	Nondeterministic Strategies and their Refinement in Strategy Logic. KR Giuseppe De Giacomo, Bastien Maubert, Aniello Murano
2020	J	`jnl`	Optimal Strategies in Weighted Limit Games (full version). CoRR Aniello Murano, Sasha Rubin, Martin Zimmermann
2020	—	`conf`	Optimal Strategies in Weighted Limit Games. GandALF Aniello Murano, Sasha Rubin, Martin Zimmermann
2020	J	`jnl`	Preface. Fundam. Informaticae Dario Della Monica, Aniello Murano, Luigi Sauro
2020	J	`jnl`	Preface. Inf. Comput. Aniello Murano, Patricia Bouyer, Pierluigi San Pietro, Andrea Orlandini
2020	J	`jnl`	Preface. Theor. Comput. Sci. Aniello Murano, Sasha Rubin
2020	A	`conf`	Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2020	J	`jnl`	Reasoning about strategies on collapsible pushdown arenas with imperfect information. CoRR Bastien Maubert, Aniello Murano, Olivier Serre
2020	J	`jnl`	Strategy Logic with Imperfect Information. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2020	A*	`conf`	Synthesizing strategies under expected and exceptional environment behaviors. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2020	J	`jnl`	Verification of multi-agent systems with public actions against strategy logic. Artif. Intell. Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2019	—	`conf`	A Smart Compact Traffic Network Vision Based on Wave Representation. AINA Workshops Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
2019	B	`conf`	Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2019	J	`jnl`	Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
2019	A	`conf`	Natural Strategic Ability under Imperfect Information. AAMAS Wojciech Jamroga, Vadim Malvone, Aniello Murano
2019	J	`jnl`	Natural strategic ability. Artif. Intell. Wojciech Jamroga, Vadim Malvone, Aniello Murano
2019	—	`conf`	Network Signal Comparison Through Waves Parameters: a Local-Alignment-Based Approach. M&N Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
2019	A*	`conf`	Planning under LTL Environment Specifications. ICAPS Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2019	A*	`conf`	Probabilistic Strategy Logic. IJCAI Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin
2019	A	`conf`	Reasoning about Changes of Observational Power in Logics of Knowledge and Time. AAMAS Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
2019	A*	`conf`	Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2019	J	`jnl`	Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2019	J	`jnl`	Solving Parity Games Using An Automata-Based Algorithm. CoRR Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2019	A*	`conf`	Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano
2019	A*	`conf`	The Complexity of Model Checking Knowledge and Time. IJCAI Laura Bozzelli, Bastien Maubert, Aniello Murano
2019	J	`jnl`	Timed Context-Free Temporal Logics. CoRR Laura Bozzelli, Aniello Murano, Adriano Peron
2019	—	`conf`	Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. ICTCS Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano
2019	—	`conf`	Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco
2018	J	`jnl`	Additional Winning Strategies in Reachability Games. Fundam. Informaticae Vadim Malvone, Aniello Murano, Loredana Sorrentino
2018	A*	`conf`	Alternating-time Temporal Logic on Finite Traces. IJCAI Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2018	A*	`conf`	Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. KR Francesco Belardinelli, Catalin Dima, Aniello Murano
2018	J	`jnl`	CTL* with graded path modalities. Inf. Comput. Benjamin Aminof, Aniello Murano, Sasha Rubin
2018	A*	`conf`	Changing Observations in Epistemic Temporal Logic. KR Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
2018	J	`jnl`	Changing Observations in Epistemic Temporal Logic. CoRR Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
2018	J	`jnl`	Cycle detection in computation tree logic. Inf. Comput. Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2018	J	`jnl`	Decidability results for ATL* with imperfect information and perfect recall. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano
2018	A	`conf`	Decidable Verification of Multi-agent Systems with Bounded Private Actions. AAMAS Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2018	A	`conf`	Dynamic Escape Game. AAMAS Antonio Di Stasio, Paolo Domenico Lambiase, Vadim Malvone, Aniello Murano
2018	C	`conf`	Event-Clock Nested Automata. LATA Laura Bozzelli, Aniello Murano, Adriano Peron
2018	—	`conf`	Graded CTL* over Finite Paths. ICTCS Loredana Sorrentino, Sasha Rubin, Aniello Murano
2018	J	`jnl`	Graded modalities in Strategy Logic. Inf. Comput. Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2018	A	`conf`	Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS. AAMAS Dario Della Monica, Aniello Murano
2018	J	`jnl`	Planning and Synthesis Under Assumptions. CoRR Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2018	J	`jnl`	Practical verification of multi-agent systems against Slk specifications. Inf. Comput. Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2018	B	`conf`	Quantifying Bounds in Strategy Logic. CSL Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin
2018	A*	`conf`	Reasoning about Knowledge and Strategies under Hierarchical Information. KR Bastien Maubert, Aniello Murano
2018	J	`jnl`	Reasoning about Knowledge and Strategies. CoRR Bastien Maubert, Aniello Murano
2018	J	`jnl`	Reasoning about graded strategy quantifiers. Inf. Comput. Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2018	C	`conf`	Results on Alternating-Time Temporal Logics with Linear Past. TIME Laura Bozzelli, Aniello Murano, Loredana Sorrentino
2018	J	`jnl`	SNOT-WiFi: Sensor network-optimized training for wireless fingerprinting. J. High Speed Networks Walter Balzano, Aniello Murano, Fabio Vitale
2018	C	`conf`	Solving Parity Games: Explicit vs Symbolic. CIAA Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi
2018	J	`jnl`	Strategy Logic with Imperfect Information. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2018	A*	`conf`	Synthesis under Assumptions. KR Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2018	—	`conf`	Timed Context-Free Temporal Logics. GandALF Laura Bozzelli, Aniello Murano, Adriano Peron
2018	J	`jnl`	Timed context-free temporal logics (extended version). CoRR Laura Bozzelli, Aniello Murano, Adriano Peron
2017	A	`conf`	Decidability Results for ATL* with Imperfect Information and Perfect Recall. AAMAS Raphaël Berthon, Bastien Maubert, Aniello Murano
2017	Misc	`conf`	EENET: Energy Efficient Detection of NETwork Changes Using a Wireless Sensor Network. CISIS Walter Balzano, Aniello Murano, Fabio Vitale
2017	C	`conf`	Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco
2017	J	`jnl`	Event-Clock Nested Automata. CoRR Laura Bozzelli, Aniello Murano, Adriano Peron
2017	A	`conf`	Hiding Actions in Multi-Player Games. AAMAS Vadim Malvone, Aniello Murano, Loredana Sorrentino
2017	C	`conf`	Hierarchical Cost-Parity Games. TIME Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2017	—	`ed.`	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. ICTCS/CILC Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro
2017	J	`jnl`	Logic-based clustering approach for management and improvement of VANETs. J. High Speed Networks Walter Balzano, Aniello Murano, Silvia Stranieri
2017	A*	`conf`	Nash Equilibria in Concurrent Games with Lexicographic Preferences. IJCAI Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge
2017	—	`conf`	On the Complexity of ATL and ATL* Module Checking. GandALF Laura Bozzelli, Aniello Murano
2017	Misc	`conf`	Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm. ICCS Rossella Arcucci, Umberto Marotta, Aniello Murano, Loredana Sorrentino
2017	J	`jnl`	Preface to the Special Issue on SR 2014. Inf. Comput. Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2017	—	`conf`	Reasoning About Additional Winning Strategies in Two-Player Games. EUMAS/AT Vadim Malvone, Aniello Murano
2017	A	`conf`	Reasoning about Natural Strategic Ability. AAMAS Wojciech Jamroga, Vadim Malvone, Aniello Murano
2017	J	`jnl`	Reasoning about Strategies: on the Satisfiability Problem. Log. Methods Comput. Sci. Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2017	A*	`conf`	Strategy logic with imperfect information. LICS Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2017	A*	`conf`	Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. IJCAI Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2017	A	`conf`	Verification of Multi-agent Systems with Imperfect Information and Public Actions. AAMAS Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2016	—	`conf`	A Logic-based Clustering Approach for Cooperative Traffic Control Systems. 3PGCIC Walter Balzano, Maria Rosaria Del Sorbo, Aniello Murano, Silvia Stranieri
2016	—	`conf`	A novel Split Bregman algorithm for MRI denoising task in an e-Health system. PETRA Salvatore Cuomo, Rosanna Campagna, Pasquale De Michele, Aniello Murano, Serena Crisci, Ardelio Galletti, Livia Marcellino
2016	—	`conf`	Additional Winning Strategies in Two-Player Games. ICTCS Vadim Malvone, Aniello Murano
2016	A	`conf`	Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments. AAMAS Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
2016	J	`jnl`	Checking Interval Properties of Computations. CoRR Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2016	J	`jnl`	Checking interval properties of computations. Acta Informatica Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2016	A	`conf`	Concurrent Multi-Player Parity Games. AAMAS Vadim Malvone, Aniello Murano, Loredana Sorrentino
2016	—	`conf`	Cycle Detection in Computation Tree Logic. GandALF Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
2016	—	`conf`	Extended Graded Modalities in Strategy Logic. SR Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2016	A	`conf`	Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. AAMAS Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2016	A	`conf`	Hiding Actions in Concurrent Games. ECAI Vadim Malvone, Aniello Murano, Loredana Sorrentino
2016	A*	`conf`	Imperfect-Information Games and Generalized Planning. IJCAI Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio
2016	—	`conf`	M-DGPS: An Algorithm for the Post-Processing of Geodetic Tracks Based on Multiple DGPS. AINA Workshops Walter Balzano, Maria Rosaria Del Sorbo, Aniello Murano
2016	A	`conf`	NWin: A Tool for Counting Winning Strategies (Demonstration). AAMAS Vadim Malvone, Aniello Murano, Marco Tafuto
2016	J	`jnl`	Ordered multi-stack visibly pushdown automata. Theor. Comput. Sci. Dario Carotenuto, Aniello Murano, Adriano Peron
2016	A*	`conf`	Prompt Alternating-Time Epistemic Logics. KR Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
2016	B	`conf`	Prompt Interval Temporal Logic. JELIA Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala
2016	J	`jnl`	Quantified CTL with imperfect information. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano
2016	J	`jnl`	Relentful strategic reasoning in alternating-time temporal logic. J. Log. Comput. Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2016	C	`conf`	Solving Parity Games Using an Automata-Based Algorithm. CIAA Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2016	—	`conf`	V2V-EN - Vehicle-2-Vehicle Elastic Network. EUSPN/ICTH Walter Balzano, Aniello Murano, Fabio Vitale
2016	—	`conf`	WiFACT - Wireless Fingerprinting Automated Continuous Training. AINA Workshops Walter Balzano, Aniello Murano, Fabio Vitale
2015	—	`conf`	A Game-based Model for Human-robots Interaction. WOA Aniello Murano, Loredana Sorrentino
2015	—	`conf`	Games with additional winning strategies. CILC Vadim Malvone, Aniello Murano, Loredana Sorrentino
2015	B	`conf`	Module Checking for Uncertain Agents. PRIMA Wojciech Jamroga, Aniello Murano
2015	A	`conf`	Module Checking of Strategic Ability. AAMAS Wojciech Jamroga, Aniello Murano
2015	B	`conf`	Multi-agent Path Planning in Known Dynamic Environments. PRIMA Aniello Murano, Giuseppe Perelli, Sasha Rubin
2015	B	`conf`	On CTL* with Graded Path Modalities. LPAR Benjamin Aminof, Aniello Murano, Sasha Rubin
2015	J	`jnl`	On Promptness in Parity Games. Fundam. Informaticae Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2015	C	`conf`	On the Counting of Strategies. TIME Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2015	A*	`conf`	Pushdown Multi-Agent System Verification. IJCAI Aniello Murano, Giuseppe Perelli
2015	J	`jnl`	Reasoning About Substructures and Games. ACM Trans. Comput. Log. Massimo Benerecetti, Fabio Mogavero, Aniello Murano
2015	J	`jnl`	Special issue on SR 2013. Inf. Comput. Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2015	B	`conf`	Verification of Asynchronous Mobile-Robots in Partially-Known Environments. PRIMA Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof
2015	A*	`conf`	Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. AAAI Petr Cermák, Alessio Lomuscio, Aniello Murano
2014	—	`conf`	A Behavioral Hierarchy of Strategy Logic. CLIMA Fabio Mogavero, Aniello Murano, Luigi Sauro
2014	J	`jnl`	Automata-theoretic decision of timed games. Theor. Comput. Sci. Marco Faella, Salvatore La Torre, Aniello Murano
2014	C	`conf`	Checking Interval Properties of Computations. TIME Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2014	A*	`conf`	MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CAV Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2014	J	`jnl`	MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. CoRR Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2014	A	`conf`	On module checking and strategies. AAMAS Wojciech Jamroga, Aniello Murano
2014	J	`jnl`	Preface to the special issue on GandALF 2012. Theor. Comput. Sci. Marco Faella, Aniello Murano
2014	—	`ed.`	Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. SR Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2014	J	`jnl`	Reasoning About Strategies: On the Model-Checking Problem. ACM Trans. Comput. Log. Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2014	J	`jnl`	Satisfiability and Model Checking of CTL* with Graded Path Modalities. CoRR Benjamin Aminof, Aniello Murano, Sasha Rubin
2014	—	`conf`	Solving Parity Games in Scala. FACS Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino
2014	A	`conf`	Strategy games: a renewed framework. AAMAS Fabio Mogavero, Aniello Murano, Luigi Sauro
2014	J	`jnl`	Synthesis of hierarchical systems. Sci. Comput. Program. Benjamin Aminof, Fabio Mogavero, Aniello Murano
2013	B	`conf`	On Promptness in Parity Games. LPAR Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2013	A*	`conf`	On the Boundary of Behavioral Strategies. LICS Fabio Mogavero, Aniello Murano, Luigi Sauro
2013	—	`ed.`	Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013. SR Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2013	J	`jnl`	Pushdown module checking with imperfect information. Inf. Comput. Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi
2013	A*	`conf`	Substructure Temporal Logic. LICS Massimo Benerecetti, Fabio Mogavero, Aniello Murano
2012	J	`jnl`	A Decidable Fragment of Strategy Logic CoRR Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2012	—	`conf`	A social network framework for the Carolina software. PETRA Salvatore Cuomo, Aniello Murano, Francesco Piccialli, Ennio Del Giudice
2012	J	`jnl`	Graded computation tree logic. ACM Trans. Comput. Log. Alessandro Bianco, Fabio Mogavero, Aniello Murano
2012	J	`jnl`	Improved model checking of hierarchical systems. Inf. Comput. Benjamin Aminof, Orna Kupferman, Aniello Murano
2012	—	`ed.`	Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. GandALF Marco Faella, Aniello Murano
2012	J	`jnl`	Quantitatively fair scheduling. Theor. Comput. Sci. Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2012	—	`conf`	Slide Test Maker An Educational Software Tool for Test Composition. ICWL Salvatore Cuomo, Vittorio Fuccella, Aniello Murano
2012	B	`conf`	What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2011	—	`conf`	A Sketch-Based System for Teaching Geometry. DMS Gennaro Costagliola, Salvatore Cuomo, Vittorio Fuccella, Aniello Murano
2011	J	`jnl`	Exploring the boundary of half-positionality. Ann. Math. Artif. Intell. Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2011	J	`jnl`	Reasoning About Strategies: On the Model-Checking Problem CoRR Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2011	—	`conf`	Synthesis of Hierarchical Systems. FACS Benjamin Aminof, Fabio Mogavero, Aniello Murano
2011	—	`conf`	The C@Rolin@ Software - A System for Monitoring Skills Development of Children with Down Syndrome. HEALTHINF Salvatore Cuomo, Aniello Murano, Francesco Piccialli
2010	—	`conf`	Exploring the Boundary of Half Positionality. CLIMA Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2010	—	`conf`	Full Formative Assessment based on Educational Video Games. DMS Salvatore Cuomo, Vittorio Fuccella, Aniello Murano
2010	B	`conf`	Graded Computation Tree Logic with Binary Coding. CSL Alessandro Bianco, Fabio Mogavero, Aniello Murano
2010	B	`conf`	Improved Model Checking of Hierarchical Systems. VMCAI Benjamin Aminof, Orna Kupferman, Aniello Murano
2010	J	`jnl`	Pushdown module checking. Formal Methods Syst. Des. Laura Bozzelli, Aniello Murano, Adriano Peron
2010	—	`conf`	Quantitative Fairness Games QAPL Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2010	—	`conf`	Reasoning About Strategies. FSTTCS Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2010	—	`conf`	Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2009	—	`conf`	A technological infrastructure design for a pediatric oncology network. PETRA Aniello Murano
2009	B	`conf`	Balanced Paths in Colored Graphs. MFCS Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
2009	C	`conf`	Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory Fabio Mogavero, Aniello Murano
2009	A*	`conf`	Graded Computation Tree Logic. LICS Alessandro Bianco, Fabio Mogavero, Aniello Murano
2009	B	`conf`	The "INNOVAMBIENTE" Project: An Interdisciplinary Approach Integrating Natural Science, Mathematics and Computer Science. ICALT Biagio D'Aniello, Salvatore Cuomo, Aniello Murano
2008	J	`jnl`	Enriched MU-Calculi Module Checking CoRR Alessandro Ferrante, Aniello Murano, Mimmo Parente
2008	J	`jnl`	Enriched µ-Calculi Module Checking. Log. Methods Comput. Sci. Alessandro Ferrante, Aniello Murano, Mimmo Parente
2008	B	`conf`	Program Complexity in Hierarchical Module Checking. LPAR Aniello Murano, Margherita Napoli, Mimmo Parente
2008	J	`jnl`	The Complexity of Enriched Mu-Calculi CoRR Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi
2008	J	`jnl`	The Complexity of Enriched Mu-Calculi. Log. Methods Comput. Sci. Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi
2008	—	`conf`	µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre
2007	C	`conf`	2-Visibly Pushdown Automata. Developments in Language Theory Dario Carotenuto, Aniello Murano, Adriano Peron
2007	B	`conf`	Enriched µ-Calculi Module Checking. FoSSaCS Alessandro Ferrante, Aniello Murano
2007	B	`conf`	Enriched µ-Calculus Pushdown Module Checking. LPAR Alessandro Ferrante, Aniello Murano, Mimmo Parente
2007	B	`conf`	Pushdown Module Checking with Imperfect Information. CONCUR Benjamin Aminof, Aniello Murano, Moshe Y. Vardi
2006	—	`conf`	The Complexity of Enriched ICALP (2) Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi
2006	J	`jnl`	Typeness for omega-regular Automata. Int. J. Found. Comput. Sci. Orna Kupferman, Gila Morgenstern, Aniello Murano
2005	B	`conf`	Pushdown Module Checking. LPAR Laura Bozzelli, Aniello Murano, Adriano Peron
2005	J	`jnl`	Weak Muller acceptance conditions for tree automata. Theor. Comput. Sci. Salvatore La Torre, Aniello Murano, Margherita Napoli
2004	C	`conf`	Reasoning About Co-Büchi Tree Automata. ICTAC Salvatore La Torre, Aniello Murano
2004	B	`conf`	Typeness for omega-Regular Automata. ATVA Orna Kupferman, Gila Morgenstern, Aniello Murano
2003	—	`conf`	Model-checking the Secure Release of a Time-locked Secret over a Network. MEFISTO Salvatore La Torre, Aniello Murano, Mimmo Parente
2002	B	`conf`	Automata-Theoretic Decision of Timed Games. VMCAI Marco Faella, Salvatore La Torre, Aniello Murano
2002	—	`—`	Decision problems on tree automata and synthesis of open timed systems. Aniello Murano
2002	A*	`conf`	Dense Real-Time Games. LICS Marco Faella, Salvatore La Torre, Aniello Murano
2002	—	`conf`	Optimal-Reachability and Control for Acyclic Weighted Timed Automata. IFIP TCS Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano
2002	B	`conf`	Weak Muller Acceptance Conditions for Tree Automata. VMCAI Salvatore La Torre, Aniello Murano, Margherita Napoli