research
∙
07/20/2023
Robust Alternating-Time Temporal Logic
In multi-agent system design, a crucial aspect is to ensure robustness, ...
share
research
∙
05/24/2023
Discounting in Strategy Logic
Discounting is an important dimension in multi-agent systems as long as ...
research
∙
04/04/2022
The Parking Problem: A Game-Theoretic Solution
In this paper, we propose a game-theoretic solution to the parking probl...
research
∙
01/24/2022
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
In online advertising, search engines sell ad placements for keywords co...
research
∙
09/23/2020
Optimal Strategies in Weighted Limit Games
We prove the existence and computability of optimal strategies in weight...
research
∙
08/26/2020
Optimal Strategies in Weighted Limit Games (full version)
We prove the existence and computability of optimal strategies in weight...
research
∙
08/13/2020
Equilibria for Games with Combined Qualitative and Quantitative Objectives
The overall aim of our research is to develop techniques to reason about...
research
∙
07/30/2020
Reasoning about strategies on collapsible pushdown arenas with imperfect information
Strategy Logic with imperfect information (SLiR) is a very expressive lo...
research
∙
03/07/2020
Module checking of pushdown multi-agent systems
In this paper, we investigate the module-checking problem of pushdown mu...
research
∙
02/10/2020
Alternating Tree Automata with Qualitative Semantics
We study alternating automata with qualitative semantics over infinite b...
research
∙
01/20/2020
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Dynamic Epistemic Logic (DEL) is a logical framework in which one can de...
research
∙
10/30/2019
Solving Parity Games Using An Automata-Based Algorithm
Parity games are abstract infinite-round games that take an important ro...
research
∙
05/27/2019
Reasoning about Quality and Fuzziness of Strategic Behaviours
Temporal logics are extensively used for the specification of on-going b...
research
∙
01/14/2019
Monadic Second Order Logic with Path-Measure Quantifier is Undecidable
We prove that the theory of monadic second order logic (MSO) of the infi...
research
∙
08/13/2018
Timed context-free temporal logics (extended version)
The paper is focused on temporal logics for the description of the behav...
research
∙
08/13/2018
Timed context-free temporal logics
The paper is focused on temporal logics for the description of the behav...
research
∙
07/18/2018
Planning and Synthesis Under Assumptions
In Reasoning about Action and Planning, one synthesizes the agent plan b...
research
∙
05/31/2018
Reasoning about Knowledge and Strategies under Hierarchical Information
Two distinct semantics have been considered for knowledge in the context...
research
∙
05/31/2018
Reasoning about Knowledge and Strategies
Two distinct semantics have been considered for knowledge in the context...
research
∙
05/31/2018
Strategy Logic with Imperfect Information
We introduce an extension of Strategy Logic for the imperfect-informatio...
research
∙
05/31/2018
Decidability results for ATL* with imperfect information and perfect recall
Alternating-time Temporal Logic (ATL*) is a central logic for multiagent...
research
∙
05/17/2018
Changing Observations in Epistemic Temporal Logic
We study dynamic changes of agents' observational power in logics of kno...
research
∙
09/07/2017
On the Complexity of ATL and ATL* Module Checking
Module checking has been introduced in late 1990s to verify open systems...
research
∙
07/12/2016