Partial order reduction for reachability games

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Downloads (Pure)
Original languageEnglish
Title of host publication30th International Conference on Concurrency Theory, CONCUR 2019
EditorsWan Fokkink, Rob van Glabbeek
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Publication dateAug 2019
Article number23
ISBN (Electronic)9783959771214
DOIs
Publication statusPublished - Aug 2019
Event30th International Conference on Concurrency Theory, CONCUR 2019 - Amsterdam, Netherlands
Duration: 27 Aug 201930 Aug 2019

Conference

Conference30th International Conference on Concurrency Theory, CONCUR 2019
CountryNetherlands
CityAmsterdam
Period27/08/201930/08/2019
SeriesLeibniz International Proceedings in Informatics, LIPIcs
Volume140
ISSN1868-8969

Fingerprint

Model checking
Petri nets

Keywords

  • Games
  • Partial order reduction
  • Petri nets
  • Stubborn sets
  • Synthesis

Cite this

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M., & Srba, J. (2019). Partial order reduction for reachability games. In W. Fokkink, & R. van Glabbeek (Eds.), 30th International Conference on Concurrency Theory, CONCUR 2019 [23] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs, Vol.. 140 https://doi.org/10.4230/LIPIcs.CONCUR.2019.23
Bønneland, Frederik Meyer ; Jensen, Peter Gjøl ; Larsen, Kim G. ; Muñiz, Marco ; Srba, Jiří. / Partial order reduction for reachability games. 30th International Conference on Concurrency Theory, CONCUR 2019. editor / Wan Fokkink ; Rob van Glabbeek. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).
@inproceedings{b5befff1df774f8f8135de7ee0eb129a,
title = "Partial order reduction for reachability games",
keywords = "Games, Partial order reduction, Petri nets, Stubborn sets, Synthesis",
author = "B{\o}nneland, {Frederik Meyer} and Jensen, {Peter Gj{\o}l} and Larsen, {Kim G.} and Marco Mu{\~n}iz and Jiř{\'i} Srba",
year = "2019",
month = "8",
doi = "10.4230/LIPIcs.CONCUR.2019.23",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Wan Fokkink and {van Glabbeek}, Rob",
booktitle = "30th International Conference on Concurrency Theory, CONCUR 2019",

}

Bønneland, FM, Jensen, PG, Larsen, KG, Muñiz, M & Srba, J 2019, Partial order reduction for reachability games. in W Fokkink & R van Glabbeek (eds), 30th International Conference on Concurrency Theory, CONCUR 2019., 23, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Leibniz International Proceedings in Informatics, LIPIcs, vol. 140, 30th International Conference on Concurrency Theory, CONCUR 2019, Amsterdam, Netherlands, 27/08/2019. https://doi.org/10.4230/LIPIcs.CONCUR.2019.23

Partial order reduction for reachability games. / Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří.

30th International Conference on Concurrency Theory, CONCUR 2019. ed. / Wan Fokkink; Rob van Glabbeek. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. 23 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

TY - GEN

T1 - Partial order reduction for reachability games

AU - Bønneland, Frederik Meyer

AU - Jensen, Peter Gjøl

AU - Larsen, Kim G.

AU - Muñiz, Marco

AU - Srba, Jiří

PY - 2019/8

Y1 - 2019/8

KW - Games

KW - Partial order reduction

KW - Petri nets

KW - Stubborn sets

KW - Synthesis

UR - http://www.scopus.com/inward/record.url?scp=85071623163&partnerID=8YFLogxK

U2 - 10.4230/LIPIcs.CONCUR.2019.23

DO - 10.4230/LIPIcs.CONCUR.2019.23

M3 - Article in proceeding

AN - SCOPUS:85071623163

T3 - Leibniz International Proceedings in Informatics, LIPIcs

BT - 30th International Conference on Concurrency Theory, CONCUR 2019

A2 - Fokkink, Wan

A2 - van Glabbeek, Rob

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

ER -

Bønneland FM, Jensen PG, Larsen KG, Muñiz M, Srba J. Partial order reduction for reachability games. In Fokkink W, van Glabbeek R, editors, 30th International Conference on Concurrency Theory, CONCUR 2019. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2019. 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140). https://doi.org/10.4230/LIPIcs.CONCUR.2019.23