Aniello Murano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
105
Venues
30
Active years
2002–2026
Best venue rank
A*
Where they publish
- A*KR18 papers
- A*IJCAI17 papers
- CEUMAS6 papers
- BLPAR6 papers
- BICAART5 papers
- BPRIMA5 papers
- CTIME5 papers
- A*LICS5 papers
- A*AAAI4 papers
- BAINA4 papers
- AECAI3 papers
- BVMCAI3 papers
- BFOSSACS2 papers
- NationalPAAMS2 papers
- BJELIA2 papers
- BCSL2 papers
- BCONCUR2 papers
- CDLT2 papers
- CHealthCom1 paper
- CWETICE1 paper
- CLATA1 paper
- NationalCISIS1 paper
- MulticonferenceICCS1 paper
- UnrankedEUSPN1 paper
- A*CAV1 paper
- BICALT1 paper
- BMFCS1 paper
- A*ICALP1 paper
- BATVA1 paper
- CICTAC1 paper
Papers
105 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | When Natural Strategies Meet Fuzziness and Resource-Bounded Actions. | Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano |
| 2026 | FOSSACS | Inquisitive Team Semantics of LTL. | Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano |
| 2026 | ICAART | APODSS: An Agentic Pediatric Oncology Decision Support System. | Marco Aruta, Ciro Listone, Shilpa Srinivasareddy, Aniello Murano |
| 2026 | ICAART | Toward Explainable Diagnosis: A Neurosymbolic Approach. | Ciro Listone, Vadim Malvone, Aniello Murano |
| 2026 | ICAART | FindMe Reforged: Temporal Logic AI for Richer Videogame Scenarios. | Vadim Malvone, Aniello Murano, Vincenzo Pio Palma, Salvatore Romano |
| 2026 | KR | Specifying Agent Strategy Spaces via LTL Synthesis. | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
| 2026 | KR | Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking. | Rustam Galimullin, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano |
| 2025 | EUMAS | S4H: A Tool for Synthesizing Human-Like Strategies. | Marco Aruta, Vadim Malvone, Aniello Murano |
| 2025 | EUMAS | An Intuitionistic Version of Computation Tree Logic. | Laura Bozzelli, Andrea Capone, Davide Catta, Vadim Malvone, Aniello Murano |
| 2025 | HealthCom | ADNF-Clustering: An Adaptive and Dynamic Neuro-Fuzzy Clustering for Leukemia Prediction. | Marco Aruta, Ciro Listone, Giuseppe Murano, Aniello Murano |
| 2025 | IJCAI | First-Order Coalition Logic. | Davide Catta, Rustam Galimullin, Aniello Murano |
| 2025 | IJCAI | Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments. | Wojciech Jamroga, Michal Tomasz Godziszewski, Aniello Murano |
| 2025 | KR | Repairing General Game Descriptions. | Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2025 | KR | An Intuitionistic Version of Alternating-Time Temporal Logic. | Laura Bozzelli, Andrea Capone, Davide Catta, Aniello Murano |
| 2025 | PAAMS | Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information. | Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano |
| 2024 | AAAI | Natural Strategic Ability in Stochastic Multi-Agent Systems. | Raphal Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano |
| 2024 | EUMAS | ATL for Dynamic Gaming Environments. | Marco Aruta, Aniello Murano, Salvatore Romano |
| 2024 | EUMAS | Temporal Truth in the Limit: Yablo's Paradox in LTL | Michal Tomasz Godziszewski, Davide Catta, Aniello Murano |
| 2024 | EUMAS | Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy. | Francesco Spegni, Luca Spalazzi, Roberto Rosetti, Aniello Murano |
| 2024 | KR | Verification of General Games with Imperfect Information Using Strategy Logic. | Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2024 | KR | Incentive Design for Rational Agents. | David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge |
| 2024 | PRIMA | Theory and Practice of Quantitative ATL. | Angelo Ferrando, Giulia Luongo, Vadim Malvone, Aniello Murano |
| 2023 | AAAI | Formal Verification of Bayesian Mechanisms. | Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel |
| 2023 | ICAART | A Game Theoretic Approach to Attack Graphs. | Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano |
| 2023 | ICAART | Multi-Agent Parking Problem with Sequential Allocation. | Aniello Murano, Silvia Stranieri, Munyque Mittelmann |
| 2023 | IJCAI | Scalable Verification of Strategy Logic through Three-Valued Abstraction. | Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano |
| 2023 | IJCAI | Discounting in Strategy Logic. | Munyque Mittelmann, Aniello Murano, Laurent Perrussel |
| 2023 | JELIA | Robust Alternating-Time Temporal Logic. | Aniello Murano, Daniel Neider, Martin Zimmermann |
| 2023 | KR | Strategic Abilities of Forgetful Agents in Stochastic Environments. | Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano |
| 2023 | PAAMS | Parking Problem with Multiple Gates. | Francesco Noviello, Munyque Mittelmann, Aniello Murano, Silvia Stranieri |
| 2023 | WETICE | HYASM: A Tool to Verify Hierarchical Systems. | Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri |
| 2022 | IJCAI | Automated Synthesis of Mechanisms. | Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel |
| 2022 | KR | Public and Private Affairs in Strategic Reasoning. | Nathanal Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
| 2021 | IJCAI | Reasoning About Agents That May Know Other Agents' Strategies. | Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2021 | KR | Synthesizing Best-effort Strategies under Multiple Environment Specifications. | Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2021 | KR | Timed Trace Alignment with Metric Temporal Logic over Finite Traces. | Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli |
| 2021 | KR | Strategic Reasoning in Automated Mechanism Design. | Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel |
| 2020 | AINA | Behavioral Clustering: A New Approach for Traffic Congestion Evaluation. | Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri |
| 2020 | ECAI | Reasoning About Quality and Fuzziness of Strategic Behaviours. | Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli |
| 2020 | ECAI | Dynamic Epistemic Logic Games with Epistemic Temporal Goals. | Bastien Maubert, Aniello Murano, Sophie Pinchinat, Franois Schwarzentruber, Silvia Stranieri |
| 2020 | IJCAI | Synthesizing strategies under expected and exceptional environment behaviors. | Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2020 | IJCAI | Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. | Nathanal Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi |
| 2020 | KR | Module Checking of Pushdown Multi-agent Systems. | Laura Bozzelli, Aniello Murano, Adriano Peron |
| 2020 | KR | Nondeterministic Strategies and their Refinement in Strategy Logic. | Giuseppe De Giacomo, Bastien Maubert, Aniello Murano |
| 2019 | AINA | A Smart Compact Traffic Network Vision Based on Wave Representation. | Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri |
| 2019 | IJCAI | Probabilistic Strategy Logic. | Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2019 | IJCAI | Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. | Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano |
| 2019 | IJCAI | Reasoning about Quality and Fuzziness of Strategic Behaviours. | Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli |
| 2019 | IJCAI | The Complexity of Model Checking Knowledge and Time. | Laura Bozzelli, Bastien Maubert, Aniello Murano |
| 2019 | PRIMA | Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2018 | CSL | Quantifying Bounds in Strategy Logic. | Nathanal Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2018 | IJCAI | Alternating-time Temporal Logic on Finite Traces. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2018 | KR | Synthesis under Assumptions. | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
| 2018 | KR | Changing Observations in Epistemic Temporal Logic. | Aurle Barrire, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2018 | KR | Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. | Francesco Belardinelli, Catalin Dima, Aniello Murano |
| 2018 | KR | Reasoning about Knowledge and Strategies under Hierarchical Information. | Bastien Maubert, Aniello Murano |
| 2018 | LATA | Event-Clock Nested Automata. | Laura Bozzelli, Aniello Murano, Adriano Peron |
| 2018 | TIME | Results on Alternating-Time Temporal Logics with Linear Past. | Laura Bozzelli, Aniello Murano, Loredana Sorrentino |
| 2017 | CISIS | EENET: Energy Efficient Detection of NETwork Changes Using a Wireless Sensor Network. | Walter Balzano, Aniello Murano, Fabio Vitale |
| 2017 | EUMAS | Reasoning About Additional Winning Strategies in Two-Player Games. | Vadim Malvone, Aniello Murano |
| 2017 | ICCS | Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm. | Rossella Arcucci, Umberto Marotta, Aniello Murano, Loredana Sorrentino |
| 2017 | IJCAI | Nash Equilibria in Concurrent Games with Lexicographic Preferences. | Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge |
| 2017 | IJCAI | Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2017 | LICS | Strategy logic with imperfect information. | Raphal Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
| 2017 | TIME | Hierarchical Cost-Parity Games. | Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino |
| 2017 | TIME | Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. | Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco |
| 2016 | AINA | WiFACT - Wireless Fingerprinting Automated Continuous Training. | Walter Balzano, Aniello Murano, Fabio Vitale |
| 2016 | AINA | M-DGPS: An Algorithm for the Post-Processing of Geodetic Tracks Based on Multiple DGPS. | Walter Balzano, Maria Rosaria Del Sorbo, Aniello Murano |
| 2016 | ECAI | Hiding Actions in Concurrent Games. | Vadim Malvone, Aniello Murano, Loredana Sorrentino |
| 2016 | EUSPN | V2V-EN - Vehicle-2-Vehicle Elastic Network. | Walter Balzano, Aniello Murano, Fabio Vitale |
| 2016 | IJCAI | Imperfect-Information Games and Generalized Planning. | Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio |
| 2016 | JELIA | Prompt Interval Temporal Logic. | Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala |
| 2016 | KR | Prompt Alternating-Time Epistemic Logics. | Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger |
| 2015 | AAAI | Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. | Petr Cermk, Alessio Lomuscio, Aniello Murano |
| 2015 | IJCAI | Pushdown Multi-Agent System Verification. | Aniello Murano, Giuseppe Perelli |
| 2015 | LPAR | On CTL* with Graded Path Modalities. | Benjamin Aminof, Aniello Murano, Sasha Rubin |
| 2015 | PRIMA | Module Checking for Uncertain Agents. | Wojciech Jamroga, Aniello Murano |
| 2015 | PRIMA | Multi-agent Path Planning in Known Dynamic Environments. | Aniello Murano, Giuseppe Perelli, Sasha Rubin |
| 2015 | PRIMA | Verification of Asynchronous Mobile-Robots in Partially-Known Environments. | Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof |
| 2015 | TIME | On the Counting of Strategies. | Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino |
| 2014 | CAV | MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications. | Petr Cermk, Alessio Lomuscio, Fabio Mogavero, Aniello Murano |
| 2014 | TIME | Checking Interval Properties of Computations. | Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron |
| 2013 | LICS | Substructure Temporal Logic. | Massimo Benerecetti, Fabio Mogavero, Aniello Murano |
| 2013 | LICS | On the Boundary of Behavioral Strategies. | Fabio Mogavero, Aniello Murano, Luigi Sauro |
| 2013 | LPAR | On Promptness in Parity Games. | Fabio Mogavero, Aniello Murano, Loredana Sorrentino |
| 2012 | CONCUR | What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |
| 2010 | CSL | Graded Computation Tree Logic with Binary Coding. | Alessandro Bianco, Fabio Mogavero, Aniello Murano |
| 2010 | LPAR | Relentful Strategic Reasoning in Alternating-Time Temporal Logic. | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi |
| 2010 | VMCAI | Improved Model Checking of Hierarchical Systems. | Benjamin Aminof, Orna Kupferman, Aniello Murano |
| 2009 | DLT | Branching-Time Temporal Logics with Minimal Model Quantifiers. | Fabio Mogavero, Aniello Murano |
| 2009 | ICALT | The "INNOVAMBIENTE" Project: An Interdisciplinary Approach Integrating Natural Science, Mathematics and Computer Science. | Biagio D'Aniello, Salvatore Cuomo, Aniello Murano |
| 2009 | LICS | Graded Computation Tree Logic. | Alessandro Bianco, Fabio Mogavero, Aniello Murano |
| 2009 | MFCS | Balanced Paths in Colored Graphs. | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
| 2008 | LPAR | Program Complexity in Hierarchical Module Checking. | Aniello Murano, Margherita Napoli, Mimmo Parente |
| 2007 | CONCUR | Pushdown Module Checking with Imperfect Information. | Benjamin Aminof, Aniello Murano, Moshe Y. Vardi |
| 2007 | DLT | 2-Visibly Pushdown Automata. | Dario Carotenuto, Aniello Murano, Adriano Peron |
| 2007 | FOSSACS | Enriched -Calculi Module Checking. | Alessandro Ferrante, Aniello Murano |
| 2007 | LPAR | Enriched -Calculus Pushdown Module Checking. | Alessandro Ferrante, Aniello Murano, Mimmo Parente |
| 2006 | ICALP | The Complexity of Enriched | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
| 2005 | LPAR | Pushdown Module Checking. | Laura Bozzelli, Aniello Murano, Adriano Peron |
| 2004 | ATVA | Typeness for omega-Regular Automata. | Orna Kupferman, Gila Morgenstern, Aniello Murano |
| 2004 | ICTAC | Reasoning About Co-Bchi Tree Automata. | Salvatore La Torre, Aniello Murano |
| 2002 | LICS | Dense Real-Time Games. | Marco Faella, Salvatore La Torre, Aniello Murano |
| 2002 | VMCAI | Automata-Theoretic Decision of Timed Games. | Marco Faella, Salvatore La Torre, Aniello Murano |
| 2002 | VMCAI | Weak Muller Acceptance Conditions for Tree Automata. | Salvatore La Torre, Aniello Murano, Margherita Napoli |