Picture for Aniello Murano

Aniello Murano

Università degli Studi di Napoli Federico II, Italy

Natural Strategic Ability in Stochastic Multi-Agent Systems

Add code
Jan 22, 2024
Viaarxiv icon

Reasoning about Intuitionistic Computation Tree Logic

Add code
Oct 03, 2023
Viaarxiv icon

Discounting in Strategy Logic

Add code
May 24, 2023
Viaarxiv icon

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions

Add code
Jan 24, 2022
Figure 1 for Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Figure 2 for Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Viaarxiv icon

Equilibria for Games with Combined Qualitative and Quantitative Objectives

Add code
Aug 13, 2020
Figure 1 for Equilibria for Games with Combined Qualitative and Quantitative Objectives
Viaarxiv icon

Dynamic Epistemic Logic Games with Epistemic Temporal Goals

Add code
Jan 20, 2020
Figure 1 for Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Figure 2 for Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Viaarxiv icon

Changing Observations in Epistemic Temporal Logic

Add code
Sep 03, 2018
Figure 1 for Changing Observations in Epistemic Temporal Logic
Figure 2 for Changing Observations in Epistemic Temporal Logic
Figure 3 for Changing Observations in Epistemic Temporal Logic
Viaarxiv icon

Planning and Synthesis Under Assumptions

Add code
Jul 18, 2018
Figure 1 for Planning and Synthesis Under Assumptions
Viaarxiv icon

Extended Graded Modalities in Strategy Logic

Add code
Jul 12, 2016
Viaarxiv icon

The Complexity of Enriched Mu-Calculi

Add code
Sep 22, 2008
Figure 1 for The Complexity of Enriched Mu-Calculi
Viaarxiv icon