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

8 Citationer (Scopus)

56 Downloads (Pure)

8 Citationer
1 Ph.d.-afhandling

1 resultater

2021

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

Åben adgang
Fil

153 Downloads (Pure)