The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
Page 1 STV+Reductions: Towards Practical Verification of Strategic Ability Using Model …

Strategy Logic (SL) has recently come to the fore as a useful specification language to
reason about multi-agent systems. Its one-goal fragment, or SL [1G], is of particular interest …

In multi-agent system design and reasoning, strategy logics and formal verification play
pivotal roles. Numerous logic formalisms have been introduced alongside the …

We propose a general semantics for strategic abilities of agents in asynchronous systems,
with and without perfect information. Based on the semantics, we show some general …

In this paper we introduce Strategy Logic with Simple Goals (SL [SG]), a fragment of Strategy
Logic that strictly extends Alternating-time Temporal Logic ATL by introducing arbitrary …

In game theory, as well as in the semantics of game logics, a strategy can be represented by
any function from states of the game to the agent's actions. That makes sense from the …

Abstract Model checking of strategic ability under imperfect information is known to be hard.
The complexity results range from NP-completeness to undecidability, depending on the …

We define extensions of CTL and TCTL with strategic operators, called Strategic CTL (SCTL)
and Strategic TCTL (STCTL), respectively. For each of the above logics we give a …

Abstract We introduce Strategy Logic with Knowledge, a novel formalism to reason about
knowledge and strategic ability in memoryless multi-agent systems with incomplete …