Time For Stubborn Game Reductions

Original language	English
Supervisors	Srba, Jiri, Principal supervisor Larsen, Kim Guldstrand, Principal supervisor
Publisher	Aalborg Universitetsforlag
Electronic ISBNs	978-87-7210-907-7
DOIs	https://doi.org/10.54337/aau429765826
Publication status	Published - 2021

Bibliographical note

PhD supervisors:
Professor Jiri Srba, Aalborg University
Professor Kim Guldstrand Larsen, Aalborg University

Access to Document

• 10.54337/aau429765826

• PHD_FMB_E-pdfFinal published version, 1.73 MB

AUB Link

Search for the material in Aalborg University Library's search engine

Research output

Research output per year 2018 2018 2019 2021 2021

• 3 Article in proceeding
• 2 Journal article

Research output per year

Research output per year

• Stubborn Set Reduction for Two-Player Reachability Games

  Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 1 Mar 2021, In: Logical Methods in Computer Science. 17, 1

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

  Open Access
  5 Citations (Scopus)

• Partial order reduction for reachability games

  Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

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

  Open Access

  File

  • Partial Order Reduction 100%
  • State Space 33%
  • Transition System 33%
  • Concurrent System 33%
  • Model Checking 33%
  9 Citations (Scopus)

  70 Downloads (Pure)

• Stubborn versus structural reductions for Petri nets

  Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, In: Journal of Logic and Algebraic Programming. 102, p. 46-63 18 p.

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

  Open Access

  File

  • Reachability 100%
  • Petri Net 100%
  • Annuals 100%
  • Petri Net Tool 33%
  • Significant State 33%
  17 Citations (Scopus)

  87 Downloads (Pure)

View all 5 research outputs

Cite this

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Bønneland, F. M. (2021). Time For Stubborn Game Reductions. Aalborg Universitetsforlag. https://doi.org/10.54337/aau429765826

Bønneland, Frederik Meyer. / Time For Stubborn Game Reductions. Aalborg Universitetsforlag, 2021. 165 p.

@misc{4fdd9a68a8c44f2197e98aa3356abfae,

title = "Time For Stubborn Game Reductions",

author = "B{\o}nneland, {Frederik Meyer}",

note = "PhD supervisors: Professor Jiri Srba, Aalborg University Professor Kim Guldstrand Larsen, Aalborg University",

year = "2021",

doi = "10.54337/aau429765826",

language = "English",

series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",

publisher = "Aalborg Universitetsforlag",

}

Bønneland, FM 2021, 'Time For Stubborn Game Reductions'. https://doi.org/10.54337/aau429765826

Time For Stubborn Game Reductions. / Bønneland, Frederik Meyer.
Aalborg Universitetsforlag, 2021. 165 p.

Research output: PhD thesis

TY - GEN

T1 - Time For Stubborn Game Reductions

AU - Bønneland, Frederik Meyer

N1 - PhD supervisors: Professor Jiri Srba, Aalborg University Professor Kim Guldstrand Larsen, Aalborg University

PY - 2021

Y1 - 2021

U2 - 10.54337/aau429765826

DO - 10.54337/aau429765826

M3 - PhD thesis

T3 - Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet

PB - Aalborg Universitetsforlag

ER -

Bønneland FM. Time For Stubborn Game Reductions. Aalborg Universitetsforlag, 2021. 165 p. doi: 10.54337/aau429765826