Discrete and Continuous Strategies for Timed-Arc Petri Net Games

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

^*Corresponding author for this work

Research output: Contribution to journal › Journal article › Research › peer-review

8 Citations (Scopus)

8 Citations
1 Article in proceeding

1 results

Filter

2016

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
Jensen, P. G., Larsen, K. G. & Srba, J., 8 Apr 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, 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

9 Citations (Scopus)