On parity game preorders and the logic of matching plays

M.W. Gazda, T.A.C. Willemse

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Samenvatting

Parity games can be used to solve satisfiability, verification and controller synthesis problems. As part of an effort to better understand their nature, or the nature of the problems they solve, preorders on parity games have been studied. Defining these relations, and in particular proving their transitivity, has proven quite difficult on occasion. We propose a uniform way of lifting certain preorders on Kripke structures to parity games and study the resulting preorders. We explore their relation with parity game preorders from the literature and we study new relations. Finally, we investigate whether these preorders can also be obtained via modal characterisations of the preorders.

Originele taal-2Engels
TitelSOFSEM 2016: theory and practice of computer science
RedacteurenR.M. Freivalds , G. Engels, B. Catania
UitgeverijSpringer
Pagina's277-289
Aantal pagina's13
ISBN van elektronische versie978-3-662-49192-8
ISBN van geprinte versie9783662491911
DOI's
StatusGepubliceerd - 2016
Evenement42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016) - Harrachov, Tsjechië
Duur: 23 jan 201628 jan 2016
Congresnummer: 42

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9587
ISSN van geprinte versie03029743
ISSN van elektronische versie16113349

Congres

Congres42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016)
Verkorte titelSOFSEM 2016
LandTsjechië
StadHarrachov
Periode23/01/1628/01/16

Vingerafdruk Duik in de onderzoeksthema's van 'On parity game preorders and the logic of matching plays'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Gazda, M. W., & Willemse, T. A. C. (2016). On parity game preorders and the logic of matching plays. In R. M. Freivalds , G. Engels, & B. Catania (editors), SOFSEM 2016: theory and practice of computer science (blz. 277-289). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9587). Springer. https://doi.org/10.1007/978-3-662-49192-8_23