On-The-Fly Solving for Symbolic Parity Games

Maurice Laveaux; Wieger Wesselink; Tim A. C. Willemse

On-The-Fly Solving for Symbolic Parity Games

Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic

Originele taal-2	Engels
Tijdschrift	CoRR
Volume	abs/2201.09607
Status	Gepubliceerd - 2022

Bibliografische nota

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Toegang tot document

Citeer dit

@article{d38e78e8ad474050a6f53a92ea4fadb2,

title = "On-The-Fly Solving for Symbolic Parity Games",

author = "Maurice Laveaux and Wieger Wesselink and Willemse, {Tim A. C.}",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2022",

language = "English",

volume = "abs/2201.09607",

journal = "CoRR",

issn = "2331-8422",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",

}

TY - JOUR

T1 - On-The-Fly Solving for Symbolic Parity Games

AU - Laveaux, Maurice

AU - Wesselink, Wieger

AU - Willemse, Tim A. C.

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2022

Y1 - 2022

M3 - Article

SN - 2331-8422

VL - abs/2201.09607

JO - CoRR

JF - CoRR

ER -