Search Results for author:
Found 9 papers, 0 papers with code
Natural Strategic Ability in Stochastic Multi-Agent Systems
We also give a 2NEXPTIME complexity result for NatPATL* with the same restriction.
Reasoning about Intuitionistic Computation Tree Logic
In this paper, we define an intuitionistic version of Computation Tree Logic.
Discounting in Strategy Logic
Discounting is an important dimension in multi-agent systems as long as we want to reason about strategies and time.
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
In online advertising, search engines sell ad placements for keywords continuously through auctions.
Equilibria for Games with Combined Qualitative and Quantitative Objectives
The overall aim of our research is to develop techniques to reason about the equilibrium properties of multi-agent systems.
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Dynamic Epistemic Logic (DEL) is a logical framework in which one can describe in great detail how actions are perceived by the agents, and how they affect the world.
Planning and Synthesis Under Assumptions
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 effects, its fairness, its trajectory constraints).
Changing Observations in Epistemic Temporal Logic
We extend the classic semantics of knowledge for perfect-recall agents to account for changes of observation, and we show that this new operator strictly increases the expressivity of CTL*K. We reduce the model-checking problem for our logic to that for CTL*K, which is known to be decidable.
Extended Graded Modalities in Strategy Logic
Strategy Logic (SL) is a logical formalism for strategic reasoning in multi-agent systems.
