4 citations · 19 across the 20 of their papers we have counts for
6 papers · 1 filter
Timed context-free temporal logics (extended version)
Laura Bozzelli, Aniello Murano, Adriano Peron
The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized f…
Planning and Synthesis Under Assumptions
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano +1
In Reasoning about Action and Planning, one synthesizes the agent plan by taking advantage of the assumption on how the environment works (that is, one exploits the environment's e…
Reasoning about Knowledge and Strategies under Hierarchical Information
Bastien Maubert, Aniello Murano
Two distinct semantics have been considered for knowledge in the context of strategic reasoning, depending on whether players know each other's strategy or not. The problem of dist…
Strategy Logic with Imperfect Information
Raphaël Berthon, Bastien Maubert, Aniello Murano +2
We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player…
Decidability results for ATL* with imperfect information and perfect recall
Raphaël Berthon, Bastien Maubert, Aniello Murano
Alternating-time Temporal Logic (ATL*) is a central logic for multiagent systems. Its extension to the imperfect information setting (ATL*i ) is well known to have an undecidable m…
Changing Observations in Epistemic Temporal Logic
Aurèle Barrière, Bastien Maubert, Aniello Murano +1
We study dynamic changes of agents' observational power in logics of knowledge and time. We consider CTL*K, the extension of CTL* with knowledge operators, and enrich it with a new…