Partial order reduction for reachability games

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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

9 Citationer (Scopus)

77 Downloads (Pure)

9 Citationer
1 Ph.d.-afhandling

1 resultater

Filter

2021

Time For Stubborn Game Reductions
Bønneland, F. M., 2021, Aalborg Universitetsforlag. 165 s.
Publikation: Ph.d.-afhandling

Åben adgang
Fil

227 Downloads (Pure)