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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

9 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Forlag	Springer
Publikationsdato	8 apr. 2016
Sider	129-146
ISBN (Trykt)	978-3-319-32581-1
ISBN (Elektronisk)	978-3-319-32582-8
DOI	https://doi.org/10.1007/978-3-319-32582-8_9
Status	Udgivet - 8 apr. 2016
Begivenhed	23rd International SPIN Symposium on Model Checking of Software (SPIN'16 - Eindhoven, The Netherlands , Eindhoven, The Netherlands , Holland Varighed: 7 apr. 2016 → 8 apr. 2016 Konferencens nummer: 23 http://www.spin2016.info/

Konference

Konference	23rd International SPIN Symposium on Model Checking of Software (SPIN'16
Nummer	23
Lokation	Eindhoven, The Netherlands
Land/Område	Holland
By	Eindhoven, The Netherlands
Periode	07/04/2016 → 08/04/2016
Internetadresse	http://www.spin2016.info/

Navn	Lecture Notes in Computer Science
Vol/bind	9641
ISSN	0302-9743

Adgang til dokumentet

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

9 Citationer
1 Tidsskriftartikel

Discrete and Continuous Strategies for Timed-Arc Petri Net Games
Jensen, P. G., Larsen, K. G. & Srba, J., 2018, I: International Journal on Software Tools for Technology Transfer. 20, 5, s. 529–546 18 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
8 Citationer (Scopus)

Citationsformater

@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. 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, 23rd International SPIN Symposium on Model Checking of Software (SPIN'16, 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 proceeding › Konferenceartikel i proceeding › Forskning › 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. 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). doi: 10.1007/978-3-319-32582-8_9

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

Konference

Adgang til dokumentet

AUB Link

Publikation

Discrete and Continuous Strategies for Timed-Arc Petri Net Games

Citationsformater