Games with Full, Longitudinal, and Transverse Observability

Orna Kupferman*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

Design and control of multi-agent systems correspond to the synthesis of winning strategies in games that model the interaction between the agents. In games with full observability, the strategies of players depend on the full history of the play. In games with partial observability, strategies depend only on observable components of the history. We survey two approaches to partial observability in two-player turn-based games with behavioral winning conditions. The first is the traditional longitudinal observability, where in all vertices, the players observe the assignment only to an observable subset of the atomic propositions. The second is the recently studied transverse observability, where players observe the assignment to all the atomic propositions, but only in vertices they own.

Original languageAmerican English
Title of host publicationReachability Problems - 14th International Conference, RP 2020, Proceedings
EditorsSylvain Schmitz, Igor Potapov
PublisherSpringer Science and Business Media Deutschland GmbH
Pages20-34
Number of pages15
ISBN (Print)9783030617387
DOIs
StatePublished - 2020
Event14th International Conference on Reachability Problems, RP 2020 - Paris, France
Duration: 19 Oct 202021 Oct 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12448 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th International Conference on Reachability Problems, RP 2020
Country/TerritoryFrance
CityParis
Period19/10/2021/10/20

Bibliographical note

Publisher Copyright:
© 2020, Springer Nature Switzerland AG.

Fingerprint

Dive into the research topics of 'Games with Full, Longitudinal, and Transverse Observability'. Together they form a unique fingerprint.

Cite this