2022
DOI: 10.48550/arxiv.2205.04197
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Timed Games with Bounded Window Parity Objectives

Abstract: The window mechanism, introduced by Chatterjee et al. [17] for mean-payoff and total-payoff objectives in two-player turn-based games on graphs, refines long-term objectives with time bounds. This mechanism has proven useful in a variety of settings [14,12], and most recently in timed systems [30].In the timed setting, the so-called fixed timed window parity objectives have been studied. A fixed timed window parity objective is defined with respect to some time bound and requires that, at all times, we witness… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 28 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?