Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Fredrik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muniz, Jiri Srba

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

7 Citations (Scopus)

228 Downloads (Pure)

7 Citations
1 PhD thesis

1 results

2021

Time For Stubborn Game Reductions
Bønneland, F. M., 2021, Aalborg Universitetsforlag. 165 p.
Research output: PhD thesis

Open Access
File

196 Downloads (Pure)