The article deals with the problem of decision-making in terms of risk and conflict situations
in the presence of terminal restrictions on the time of crisis resolution in the structure of …

Abstract Reasoning about strategic abilities is key to an AI system consisting of multiple
agents with random behaviors. We propose a probabilistic extension of Alternating µ …

In the design of complex systems, model-checking and satisfiability arise as two prominent
decision problems. While model-checking requires the designed system to be provided in …

We study ATL+ enriched with one resource (written ATL+(1)) extending ATL+ with the
possibility to manage a budget. We propose a game-theoretic semantics via the introduction …

When reasoning about games, one is often interested in verifying more intricate strategic
properties than the mere existence of a winning strategy for a given coalition. Several …

Towards Theory-of-Mind agents using Automated Planning and Dynamic Epistemic Logic —
Welcome to DTU Research Database Skip to main navigation Skip to search Skip to main …

The paper formalizes quantitative (numerical) modalities and describes their possible
applications. We work via standard Kripke-like semantics for modal logics and introduce …

The article deals with the problem of decision-making in terms of risk and conflict situations
in the presence of terminal restrictions on the time of crisis resolution in the structure of …

Game-based verification and synthesis Page 1 General rights Copyright and moral rights for
the publications made accessible in the public portal are retained by the authors and/or other …