Bounded game-theoretic semantics for modal mu-calculus and some variants

Lauri Hella; Antti Kuusisto; Raine Rönnholm

doi:10.4204/EPTCS.326.6

Bounded game-theoretic semantics for modal mu-calculus and some variants

Lauri Hella, Antti Kuusisto, Raine Rönnholm

Tietotekniikka

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

1 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Electronic Proceedings in Theoretical Computer Science
Alaotsikko	Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020)
Sivut	82–96
Sivumäärä	15
Vuosikerta	326
DOI - pysyväislinkit	https://doi.org/10.4204/EPTCS.326.6
Tila	Julkaistu - 2020
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	International Symposium on Games, Automata, Logics, and Formal Verification - Kesto: 21 syysk. 2020 → 22 syysk. 2020

Julkaisusarja

Nimi	Electronic proceedings in theoretical computer science
ISSN (elektroninen)	2075-2180

Conference

Conference	International Symposium on Games, Automata, Logics, and Formal Verification
Ajanjakso	21/09/20 → 22/09/20

Julkaisufoorumi-taso

Jufo-taso 0

Pääsy asiakirjaan

10.4204/EPTCS.326.6

https://arxiv.org/abs/2009.10880

Siteeraa tätä

Hella, L., Kuusisto, A., & Rönnholm, R. (2020). Bounded game-theoretic semantics for modal mu-calculus and some variants. teoksessa Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020) (Vuosikerta 326, Sivut 82–96). (Electronic proceedings in theoretical computer science). https://doi.org/10.4204/EPTCS.326.6

Hella, Lauri ; Kuusisto, Antti ; Rönnholm, Raine. / Bounded game-theoretic semantics for modal mu-calculus and some variants. Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020). Vuosikerta 326 2020. Sivut 82–96 (Electronic proceedings in theoretical computer science).

@inproceedings{2ebfdbf341894452b1093a8f42cd3a62,

title = "Bounded game-theoretic semantics for modal mu-calculus and some variants",

author = "Lauri Hella and Antti Kuusisto and Raine R{\"o}nnholm",

note = "jufoid=70358; International Symposium on Games, Automata, Logics, and Formal Verification ; Conference date: 21-09-2020 Through 22-09-2020",

year = "2020",

doi = "10.4204/EPTCS.326.6",

language = "English",

volume = "326",

series = "Electronic proceedings in theoretical computer science",

pages = "82–96",

booktitle = "Electronic Proceedings in Theoretical Computer Science",

}

Hella, L , Kuusisto, A & Rönnholm, R 2020, Bounded game-theoretic semantics for modal mu-calculus and some variants. julkaisussa Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020). Vuosikerta 326, Electronic proceedings in theoretical computer science, Sivut 82–96, International Symposium on Games, Automata, Logics, and Formal Verification , 21/09/20. https://doi.org/10.4204/EPTCS.326.6

Bounded game-theoretic semantics for modal mu-calculus and some variants. / Hella, Lauri ; Kuusisto, Antti; Rönnholm, Raine.
Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020). Vuosikerta 326 2020. s. 82–96 (Electronic proceedings in theoretical computer science).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - Bounded game-theoretic semantics for modal mu-calculus and some variants

AU - Hella, Lauri

AU - Kuusisto, Antti

AU - Rönnholm, Raine

N1 - jufoid=70358

PY - 2020

Y1 - 2020

U2 - 10.4204/EPTCS.326.6

DO - 10.4204/EPTCS.326.6

M3 - Conference contribution

VL - 326

T3 - Electronic proceedings in theoretical computer science

SP - 82

EP - 96

BT - Electronic Proceedings in Theoretical Computer Science

T2 - International Symposium on Games, Automata, Logics, and Formal Verification

Y2 - 21 September 2020 through 22 September 2020

ER -

Hella L , Kuusisto A, Rönnholm R. Bounded game-theoretic semantics for modal mu-calculus and some variants. julkaisussa Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020). Vuosikerta 326. 2020. s. 82–96. (Electronic proceedings in theoretical computer science). doi: 10.4204/EPTCS.326.6