Partial order reduction for reachability games

Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jiří Srba

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

8 Citations (Scopus)

58 Downloads (Pure)

8 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

153 Downloads (Pure)