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)

9 Citationer
1 Tidsskriftartikel

1 resultater

2018
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)