uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Parity Games on Bounded Phase Multi-pushdown Systems
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
LIAFA, CNRS and University of Paris Diderot. (Modeling and Verification)
Chennai Mathematical Institute, Chennai, India.
TU Braunschweig, Germany.
2017 (engelsk)Inngår i: Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings / [ed] Amr El Abbadi and Benoit Garbinato, Cham, 2017, Vol. 10299, s. 272-287Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

In this paper we address the problem of solving parity games over the configuration graphs of bounded phase multi-pushdown systems. A non-elementary decision procedure was proposed for this problem by A. Seth. In this paper, we provide a simple and inductive construction to solve this problem. We also prove a non-elementary lower-bound, answering a question posed by A. Seth.

sted, utgiver, år, opplag, sider
Cham, 2017. Vol. 10299, s. 272-287
Serie
Lecture Notes in Computer Science ; 10299
HSV kategori
Forskningsprogram
Data- och systemvetenskap
Identifikatorer
URN: urn:nbn:se:uu:diva-337131DOI: 10.1007/978-3-319-59647-1_21ISBN: 978-3-319-59647-1 (tryckt)OAI: oai:DiVA.org:uu-337131DiVA, id: diva2:1168347
Konferanse
Networked Systems - 5th International Conference, {NETYS} 2017
Prosjekter
UPMARCTilgjengelig fra: 2017-12-20 Laget: 2017-12-20 Sist oppdatert: 2017-12-20

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Søk i DiVA

Av forfatter/redaktør
Atig, Mohamed Faouzi
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 146 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf