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

Peter Gjøl Jensen; Kim Guldstrand Larsen; Jiri Srba

doi:10.1007/978-3-319-32582-8_9

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

Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiri Srba

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

9 Citations (Scopus)

Original language	English
Title of host publication	Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Publisher	Springer
Publication date	8 Apr 2016
Pages	129-146
ISBN (Print)	978-3-319-32581-1
ISBN (Electronic)	978-3-319-32582-8
DOIs	https://doi.org/10.1007/978-3-319-32582-8_9
Publication status	Published - 8 Apr 2016
Event	23rd International SPIN Symposium on Model Checking of Software (SPIN'16 - Eindhoven, The Netherlands , Eindhoven, The Netherlands , Netherlands Duration: 7 Apr 2016 → 8 Apr 2016 Conference number: 23 http://www.spin2016.info/

Conference

Conference	23rd International SPIN Symposium on Model Checking of Software (SPIN'16
Number	23
Location	Eindhoven, The Netherlands
Country/Territory	Netherlands
City	Eindhoven, The Netherlands
Period	07/04/2016 → 08/04/2016
Internet address	http://www.spin2016.info/

Series	Lecture Notes in Computer Science
Volume	9641
ISSN	0302-9743

Keywords

model checking, petri nets, discrete time

Access to Document

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

AUB Link

Search for the material in Aalborg University Library's search engine

9 Citations
1 Journal article

Discrete and Continuous Strategies for Timed-Arc Petri Net Games
Jensen, P. G., Larsen, K. G. & Srba, J., 2018, In: International Journal on Software Tools for Technology Transfer. 20, 5, p. 529–546 18 p.
Research output: Contribution to journal › Journal article › Research › peer-review
8 Citations (Scopus)

Cite this

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. pp. 129-146 (Lecture Notes in Computer Science, Vol. 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 = apr,

day = "8",

doi = "10.1007/978-3-319-32582-8_9",

language = "English",

isbn = "978-3-319-32581-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "129--146",

booktitle = "Model Checking Software",

address = "Germany",

note = "23rd International SPIN Symposium on Model Checking of Software (SPIN'16, SPIN'16 ; Conference date: 07-04-2016 Through 08-04-2016",

url = "http://www.spin2016.info/",

}

Jensen, PG , Larsen, KG & Srba, J 2016, Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. in 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, vol. 9641, pp. 129-146, 23rd International SPIN Symposium on Model Checking of Software (SPIN'16, Eindhoven, The Netherlands , Netherlands, 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. p. 129-146 (Lecture Notes in Computer Science, Vol. 9641).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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

N1 - Conference code: 23

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

T3 - Lecture Notes in Computer Science

SP - 129

EP - 146

BT - Model Checking Software

PB - Springer

T2 - 23rd International SPIN Symposium on Model Checking of Software (SPIN'16

Y2 - 7 April 2016 through 8 April 2016

ER -

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

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

Conference

Keywords

Access to Document

AUB Link

Research output

Discrete and Continuous Strategies for Timed-Arc Petri Net Games

Cite this