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

Citationsformater