Strategy Complexity of Concurrent Safety Games

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

Standard

Strategy Complexity of Concurrent Safety Games. / Chatterjee, Krishnendu; Hansen, Kristoffer Arnsfelt; Ibsen-Jensen, Rasmus.

42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). ed. / Kim G. Larsen; Hans L. Bodlaender; Jean-Francois Raskin. Vol. 83 Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017. p. 55:1-55:13 (Leibniz International Proceedings in Informatics; No. 83).

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

Harvard

Chatterjee, K, Hansen, KA & Ibsen-Jensen, R 2017, Strategy Complexity of Concurrent Safety Games. in KG Larsen, HL Bodlaender & J-F Raskin (eds), 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). vol. 83, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Dagstuhl, Germany, Leibniz International Proceedings in Informatics, no. 83, pp. 55:1-55:13, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) , Aalborg, Denmark, 21/08/2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.55

APA

Chatterjee, K., Hansen, K. A., & Ibsen-Jensen, R. (2017). Strategy Complexity of Concurrent Safety Games. In K. G. Larsen, H. L. Bodlaender, & J-F. Raskin (Eds.), 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) (Vol. 83, pp. 55:1-55:13). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics, No. 83 https://doi.org/10.4230/LIPIcs.MFCS.2017.55

CBE

Chatterjee K, Hansen KA, Ibsen-Jensen R. 2017. Strategy Complexity of Concurrent Safety Games. Larsen KG, Bodlaender HL, Raskin J-F, editors. In 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. pp. 55:1-55:13. (Leibniz International Proceedings in Informatics; No. 83). https://doi.org/10.4230/LIPIcs.MFCS.2017.55

MLA

Chatterjee, Krishnendu, Kristoffer Arnsfelt Hansen and Rasmus Ibsen-Jensen "Strategy Complexity of Concurrent Safety Games"., Larsen, Kim G. Bodlaender, Hans L. Raskin, Jean-Francois (editors). 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. (Leibniz International Proceedings in Informatics; Journal number 83). 2017, 55:1-55:13. https://doi.org/10.4230/LIPIcs.MFCS.2017.55

Vancouver

Chatterjee K, Hansen KA, Ibsen-Jensen R. Strategy Complexity of Concurrent Safety Games. In Larsen KG, Bodlaender HL, Raskin J-F, editors, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Vol. 83. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. 2017. p. 55:1-55:13. (Leibniz International Proceedings in Informatics; No. 83). https://doi.org/10.4230/LIPIcs.MFCS.2017.55

Author

Chatterjee, Krishnendu ; Hansen, Kristoffer Arnsfelt ; Ibsen-Jensen, Rasmus. / Strategy Complexity of Concurrent Safety Games. 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). editor / Kim G. Larsen ; Hans L. Bodlaender ; Jean-Francois Raskin. Vol. 83 Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017. pp. 55:1-55:13 (Leibniz International Proceedings in Informatics; No. 83).

Bibtex

@inproceedings{31a21b7859c6444086e0d40ceace7655,
title = "Strategy Complexity of Concurrent Safety Games",
author = "Krishnendu Chatterjee and Hansen, {Kristoffer Arnsfelt} and Rasmus Ibsen-Jensen",
year = "2017",
doi = "10.4230/LIPIcs.MFCS.2017.55",
language = "English",
isbn = "978-3-95977-046-0",
volume = "83",
series = "Leibniz International Proceedings in Informatics",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH",
number = "83",
pages = "55:1--55:13",
editor = "Larsen, {Kim G.} and Bodlaender, {Hans L.} and Jean-Francois Raskin",
booktitle = "42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)",
note = "null ; Conference date: 21-08-2017 Through 25-08-2017",
url = "http://mfcs2017.cs.aau.dk/",

}

RIS

TY - GEN

T1 - Strategy Complexity of Concurrent Safety Games

AU - Chatterjee, Krishnendu

AU - Hansen, Kristoffer Arnsfelt

AU - Ibsen-Jensen, Rasmus

N1 - Conference code: 42

PY - 2017

Y1 - 2017

U2 - 10.4230/LIPIcs.MFCS.2017.55

DO - 10.4230/LIPIcs.MFCS.2017.55

M3 - Article in proceedings

SN - 978-3-95977-046-0

VL - 83

T3 - Leibniz International Proceedings in Informatics

SP - 55:1-55:13

BT - 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)

A2 - Larsen, Kim G.

A2 - Bodlaender, Hans L.

A2 - Raskin, Jean-Francois

PB - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH

CY - Dagstuhl, Germany

Y2 - 21 August 2017 through 25 August 2017

ER -