Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)
OriginalsprogEngelsk
TitelModel Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
ForlagSpringer
Publikationsdato8 apr. 2016
Sider129-146
ISBN (Trykt)978-3-319-32581-1
ISBN (Elektronisk)978-3-319-32582-8
DOI
StatusUdgivet - 8 apr. 2016
Begivenhed23rd International SPIN Symposium on Model Checking of Software (SPIN'16 - Eindhoven, The Netherlands , Eindhoven, The Netherlands , Holland
Varighed: 7 apr. 20168 apr. 2016
Konferencens nummer: 23
http://www.spin2016.info/

Konference

Konference23rd International SPIN Symposium on Model Checking of Software (SPIN'16
Nummer23
LokationEindhoven, The Netherlands
LandHolland
ByEindhoven, The Netherlands
Periode07/04/201608/04/2016
Internetadresse
NavnLecture Notes in Computer Science
Vol/bind9641
ISSN0302-9743

Fingerprint

Petri nets
Controllers

Citer dette

Jensen, P. G., Larsen, K. G., & Srba, J. (2016). Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. I Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings (s. 129-146). Springer. Lecture Notes in Computer Science, Bind. 9641 https://doi.org/10.1007/978-3-319-32582-8_9
Jensen, Peter Gjøl ; Larsen, Kim Guldstrand ; Srba, Jiri. / Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, 2016. s. 129-146 (Lecture Notes in Computer Science, Bind 9641).
@inproceedings{1379ad2132e54bbd9744794d014af320,
title = "Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization",
keywords = "model checking, petri nets, discrete time",
author = "Jensen, {Peter Gj{\o}l} and Larsen, {Kim Guldstrand} and Jiri Srba",
year = "2016",
month = "4",
day = "8",
doi = "10.1007/978-3-319-32582-8_9",
language = "English",
isbn = "978-3-319-32581-1",
pages = "129--146",
booktitle = "Model Checking Software",
publisher = "Springer",
address = "Germany",

}

Jensen, PG, Larsen, KG & Srba, J 2016, Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. i Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, Lecture Notes in Computer Science, bind 9641, s. 129-146, Eindhoven, The Netherlands , Holland, 07/04/2016. https://doi.org/10.1007/978-3-319-32582-8_9

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. / Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiri.

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, 2016. s. 129-146 (Lecture Notes in Computer Science, Bind 9641).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

AU - Jensen, Peter Gjøl

AU - Larsen, Kim Guldstrand

AU - Srba, Jiri

PY - 2016/4/8

Y1 - 2016/4/8

KW - model checking, petri nets, discrete time

U2 - 10.1007/978-3-319-32582-8_9

DO - 10.1007/978-3-319-32582-8_9

M3 - Article in proceeding

SN - 978-3-319-32581-1

SP - 129

EP - 146

BT - Model Checking Software

PB - Springer

ER -

Jensen PG, Larsen KG, Srba J. Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. I Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer. 2016. s. 129-146. (Lecture Notes in Computer Science, Bind 9641). https://doi.org/10.1007/978-3-319-32582-8_9