
Optimal Strategies in Weighted Limit Games
We prove the existence and computability of optimal strategies in weight...
read it

Optimal Strategies in Weighted Limit Games (full version)
We prove the existence and computability of optimal strategies in weight...
read it

Equilibria for Games with Combined Qualitative and Quantitative Objectives
The overall aim of our research is to develop techniques to reason about...
read it

Reasoning about strategies on collapsible pushdown arenas with imperfect information
Strategy Logic with imperfect information (SLiR) is a very expressive lo...
read it

Module checking of pushdown multiagent systems
In this paper, we investigate the modulechecking problem of pushdown mu...
read it

Alternating Tree Automata with Qualitative Semantics
We study alternating automata with qualitative semantics over infinite b...
read it

Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Dynamic Epistemic Logic (DEL) is a logical framework in which one can de...
read it

Solving Parity Games Using An AutomataBased Algorithm
Parity games are abstract infiniteround games that take an important ro...
read it

Reasoning about Quality and Fuzziness of Strategic Behaviours
Temporal logics are extensively used for the specification of ongoing b...
read it

Monadic Second Order Logic with PathMeasure Quantifier is Undecidable
We prove that the theory of monadic second order logic (MSO) of the infi...
read it

Timed contextfree temporal logics (extended version)
The paper is focused on temporal logics for the description of the behav...
read it

Timed contextfree temporal logics
The paper is focused on temporal logics for the description of the behav...
read it

Planning and Synthesis Under Assumptions
In Reasoning about Action and Planning, one synthesizes the agent plan b...
read it

Reasoning about Knowledge and Strategies under Hierarchical Information
Two distinct semantics have been considered for knowledge in the context...
read it

Reasoning about Knowledge and Strategies
Two distinct semantics have been considered for knowledge in the context...
read it

Strategy Logic with Imperfect Information
We introduce an extension of Strategy Logic for the imperfectinformatio...
read it

Decidability results for ATL* with imperfect information and perfect recall
Alternatingtime Temporal Logic (ATL*) is a central logic for multiagent...
read it

Changing Observations in Epistemic Temporal Logic
We study dynamic changes of agents' observational power in logics of kno...
read it

On the Complexity of ATL and ATL* Module Checking
Module checking has been introduced in late 1990s to verify open systems...
read it

Extended Graded Modalities in Strategy Logic
Strategy Logic (SL) is a logical formalism for strategic reasoning in mu...
read it
Aniello Murano
is this you? claim profile