Search Results - Murano, Aniello

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Gaggl, Sarah, editor^Aff7, Martinez, Maria Vanina, editor^Aff8, Ortiz, Magdalena, editor^Aff9

Superior Title: Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. 14281:796-813

Zugang prüfen (DOI)

4

eBook

Parking Problem with Multiple Gates

Authors: Noviello, Francesco^Aff11, Mittelmann, Munyque^Aff11, Murano, Aniello^Aff11, Stranieri, Silvia^Aff11

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Mathieu, Philippe, editor^Aff7, Dignum, Frank, editor^Aff8, Novais, Paulo, editor^Aff9, De la Prieta, Fernando, editor^Aff10

Superior Title: Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection : 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12–14, 2023, Proceedings. 13955:213-224

Zugang prüfen (DOI)

5

Report

Natural Strategic Ability in Stochastic Multi-Agent Systems ...

Authors: Berthon, Raphaël, Katoen, Joost-Pieter, Mittelmann, Munyque, Murano, Aniello

Subject Terms: Logic in Computer Science cs.LO, Artificial Intelligence cs.AI, FOS Computer and information sciences

Availability: https://doi.org/10.48550/arxiv.2401.12170
https://arxiv.org/abs/2401.12170

Zugang prüfen (DOI)

6

Academic Journal

Logical aspects of multi-agent systems: Preface

Authors: Maubert, Bastien, Murano, Aniello, Rubin, Sasha^{Aff2, IDs10472023098523_cor3}

Superior Title: Annals of Mathematics and Artificial Intelligence. 91(4):373-374

Zugang prüfen (DOI)

7

Conference

A Game Theoretic Approach to Attack Graphs

Authors: Catta, Davide, Di Stasio, Antonio, Leneutre, Jean, Malvone, Vadim, Murano, Aniello

Contributors: Exploration et exploitation de données textuelles (LIRMM, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Department of Informatics and System Sciences (Sapienza University of Rome), Università degli Studi di Roma "La Sapienza" = Sapienza University Rome (UNIROMA), Autonomic and Critical Embedded Systems (ACES), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom Paris (IMT)-Télécom Paris-Institut Mines-Télécom Paris (IMT)-Télécom Paris, Département Informatique et Réseaux (INFRES), Télécom ParisTech, University of Naples Federico II = Università degli studi di Napoli Federico II

Superior Title: ICAART 2023 - 15th International Conference on Agents and Artificial Intelligence ; https://hal.science/hal-04336262 ; ICAART 2023 - 15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbon, Portugal. pp.347-354, ⟨10.5220/0011776900003393⟩

Subject Terms: Attack Graphs, Game Theory, Automata Theoretic Approach, [INFO]Computer Science [cs]

Subject Geographic: Lisbon, Portugal

Relation: hal-04336262; https://hal.science/hal-04336262; https://hal.science/hal-04336262/document; https://hal.science/hal-04336262/file/117769.pdf

Availability: https://doi.org/10.5220/0011776900003393
https://hal.science/hal-04336262
https://hal.science/hal-04336262/document
https://hal.science/hal-04336262/file/117769.pdf

Zugang prüfen (DOI)

8

Academic Journal

Reasoning about Intuitionistic Computation Tree Logic ...

Authors: Catta, Davide, Malvone, Vadim, Murano, Aniello

Subject Terms: Logic in Computer Science cs.LO, Artificial Intelligence cs.AI, FOS Computer and information sciences

Relation: https://dx.doi.org/10.4204/eptcs.391.6

Availability: https://doi.org/10.48550/arxiv.2310.0235510.4204/eptcs.391.6
https://arxiv.org/abs/2310.02355

Zugang prüfen (DOI)

9

Academic Journal

Reasoning about Quality and Fuzziness of Strategic Behaviors

Authors: Bouyer, Patricia, Kupferman, Orna, Markey, Nicolas, Maubert, Bastien, Murano, Aniello, Perelli, Giuseppe

Contributors: Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), The Hebrew University of Jerusalem (HUJ), SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), University of Naples Federico II = Università degli studi di Napoli Federico II, Università degli Studi di Roma "La Sapienza" = Sapienza University Rome (UNIROMA)

Superior Title: ISSN: 1529-3785.

Subject Terms: quantitative, fuzzy, Theory of computation → Logic and verification, Modal and temporal logics, Verification by model checking, Automata over infinite objects, Tree languages Synthesis, [CHIM]Chemical Sciences

Relation: hal-04219131; https://inria.hal.science/hal-04219131; https://inria.hal.science/hal-04219131/document; https://inria.hal.science/hal-04219131/file/tocl24%283%29-BKMMMP.pdf

Availability: https://doi.org/10.1145/3582498
https://inria.hal.science/hal-04219131
https://inria.hal.science/hal-04219131/document
https://inria.hal.science/hal-04219131/file/tocl24%283%29-BKMMMP.pdf

Zugang prüfen (DOI)

10

Academic Journal

Discounting in Strategy Logic

Authors: Mittelmann, Munyque, Murano, Aniello, Perrussel, Laurent

Subject Terms: Computer Science - Artificial Intelligence

Relation: http://arxiv.org/abs/2305.15256

Availability: http://arxiv.org/abs/2305.15256

11

Academic Journal

Verification of agent navigation in partially-known environments

Authors: Aminof, Benjamin, Murano, Aniello, Rubin, Sasha, Zuleger, Florian

Superior Title: In Artificial Intelligence July 2022 308

Zugang prüfen (DOI)

12

Academic Journal

Context-free timed formalisms: Robust automata and linear temporal logics

Authors: Bozzelli, Laura, Murano, Aniello, Peron, Adriano

Superior Title: In Information and Computation February 2022 283

Zugang prüfen (DOI)

13

Academic Journal

Equilibria for games with combined qualitative and quantitative objectives

Authors: Gutierrez, Julian, Murano, Aniello, Perelli, Giuseppe^Aff3, Rubin, Sasha, Steeples, Thomas, Wooldridge, Michael

Superior Title: Acta Informatica. 58(6):585-610

HTML Full Text PDF Full Text

14

Conference

Synthesis of Mechanisms with Strategy Logic (Short Paper)

Authors: Mittelmann, Munyque, Maubert, Bastien, Murano, Aniello, Perrussel, Laurent

Contributors: University of Naples Federico II = Università degli studi di Napoli Federico II, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), PRIN project RIPER (No. 20203FFYLK), Ugo Dal Lago, Daniele Gorla, ANR-18-CE23-0013,AGAPE,Un langage d'enchères pour des joueurs génériques d'enchères(2018), European Project: 952215,TAILOR(2020)

Superior Title: ICTCS 2022 : 23rd Italian Conference on Theoretical Computer Science ; 23rd Italian Conference on Theoretical Computer Science (ICTCS 2022) ; https://hal.science/hal-03879258 ; 23rd Italian Conference on Theoretical Computer Science (ICTCS 2022), Sep 2022, Rome, Italy. pp.1-6 ; https://ceur-ws.org/Vol-3284/2685.pdf

Subject Terms: Mechanism Design, Logics for Multi-Agent Systems, Strategic Reasoning, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Rome, Italy

Relation: info:eu-repo/grantAgreement//952215/EU/Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization/TAILOR; hal-03879258; https://hal.science/hal-03879258; https://hal.science/hal-03879258/document; https://hal.science/hal-03879258/file/2685.pdf

Availability: https://hal.science/hal-03879258
https://hal.science/hal-03879258/document
https://hal.science/hal-03879258/file/2685.pdf

15

Conference

Automated Synthesis of Mechanisms

Authors: Mittelmann, Munyque, Maubert, Bastien, Murano, Aniello, Perrussel, Laurent

Contributors: Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), University of Naples Federico II = Università degli studi di Napoli Federico II, PRIN project RIPER (n° 20203FFYLK), JPMorgan AI Faculty Research Award ”Resilience-based Generalized Planning and Strategic Reasoning”, IJCAI Organization, Luc De Raedt, ANR-18-CE23-0013,AGAPE,Un langage d'enchères pour des joueurs génériques d'enchères(2018), European Project: 952215,TAILOR(2020)

Superior Title: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence 2022 ; 31st International Joint Conference on Artificial Intelligence (IJCAI-22) ; https://hal.science/hal-03879237 ; 31st International Joint Conference on Artificial Intelligence (IJCAI-22), IJCAI Organization, Jul 2022, Vienna, Austria. pp.426-432, ⟨10.24963/ijcai.2022/61⟩ ; https://www.ijcai.org/proceedings/2022/61

Subject Terms: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]

Subject Geographic: Vienna, Austria

Relation: info:eu-repo/grantAgreement//952215/EU/Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization/TAILOR; hal-03879237; https://hal.science/hal-03879237; https://hal.science/hal-03879237/document; https://hal.science/hal-03879237/file/Automated%20Synthesis%20of%20Mechanisms.pdf

Availability: https://doi.org/10.24963/ijcai.2022/61
https://hal.science/hal-03879237
https://hal.science/hal-03879237/document
https://hal.science/hal-03879237/file/Automated%20Synthesis%20of%20Mechanisms.pdf

Zugang prüfen (DOI)

16

Academic Journal

Strategic Abilities of Forgetful Agents in Stochastic Environments ...

Authors: Belardinelli, Francesco, Jamroga, Wojciech, Mittelmann, Munyque, Murano, Aniello

Subject Terms: Multiagent Systems cs.MA, FOS Computer and information sciences

Availability: https://doi.org/10.48550/arxiv.2310.17240
https://arxiv.org/abs/2310.17240

Zugang prüfen (DOI)

17

Academic Journal

Scalable Verification of Strategy Logic through Three-valued Abstraction ...

Authors: Belardinelli, Francesco, Ferrando, Angelo, Jamroga, Wojciech, Malvone, Vadim, Murano, Aniello

Subject Terms: Multiagent Systems cs.MA, FOS Computer and information sciences

Availability: https://doi.org/10.48550/arxiv.2310.17219
https://arxiv.org/abs/2310.17219

Zugang prüfen (DOI)

18

Academic Journal

On the Complexity of Model Checking Knowledge and Time

Authors: Bozzelli, Laura, Maubert, Bastien, Murano, Aniello

Superior Title: ACM Transactions on Computational Logic ; volume 25, issue 1, page 1-42 ; ISSN 1529-3785 1557-945X

Subject Terms: Computational Mathematics, Logic, General Computer Science, Theoretical Computer Science

Availability: https://doi.org/10.1145/3637212

Zugang prüfen (DOI)

19

eBook

Behavioral Clustering: A New Approach for Traffic Congestion Evaluation

Authors: Balzano, Walter^Aff19, Murano, Aniello^Aff19, Sorrentino, Loredana^Aff19, Stranieri, Silvia^Aff19

Contributors: Kacprzyk, Janusz, Series Editor^Aff1, Pal, Nikhil R., Advisory Editor^Aff2, Bello Perez, Rafael, Advisory Editor^Aff3, Corchado, Emilio S., Advisory Editor^Aff4, Hagras, Hani, Advisory Editor^Aff5, Kóczy, László T., Advisory Editor^Aff6, Kreinovich, Vladik, Advisory Editor^Aff7, Lin, Chin-Teng, Advisory Editor^Aff8, Lu, Jie, Advisory Editor^Aff9, Melin, Patricia, Advisory Editor^Aff10, Nedjah, Nadia, Advisory Editor^Aff11, Nguyen, Ngoc Thanh, Advisory Editor^Aff12, Wang, Jun, Advisory Editor^Aff13, Barolli, Leonard, editor^Aff14, Amato, Flora, editor^Aff15, Moscato, Francesco, editor^Aff16, Enokido, Tomoya, editor^Aff17, Takizawa, Makoto, editor^Aff18

Superior Title: Web, Artificial Intelligence and Network Applications : Proceedings of the Workshops of the 34th International Conference on Advanced Information Networking and Applications (WAINA-2020). 1150:1418-1427

Zugang prüfen (DOI)

20

Academic Journal

Improving parity games in practice

Authors: Di Stasio, Antonio^Aff1, Murano, Aniello, Prignano, Vincenzo, Sorrentino, Loredana

Superior Title: Annals of Mathematics and Artificial Intelligence. 89(5-6):551-574

Zugang prüfen (DOI)

Narrow Search