Time For Stubborn Game Reductions

Søgeresultater

• 2021

  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, I: Logical Methods in Computer Science. 17, 1

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  6   !!Link opens in a new tab Citationer (Scopus)

• 2019

  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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 140).

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

  Åben adgang

  Fil

  • Partial Order Reduction 100%
  • State Space 33%
  • Transition System 33%
  • Concurrent System 33%
  • Model Checking 33%

  10   !!Link opens in a new tab Citationer (Scopus)

  125 Downloads (Pure)

• Stubborn versus structural reductions for Petri nets

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Reachability 100%
  • Petri Net 100%
  • Annuals 100%
  • Petri Net Tool 33%
  • Significant State 33%

  19   !!Link opens in a new tab Citationer (Scopus)

  124 Downloads (Pure)

• 2018

  Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

  Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 8 mar. 2018, PETRI NETS 2018: Application and Theory of Petri Nets and Concurrency . 978-3-319-91267-7: Springer Publishing Company, s. 143-163 (Lecture Notes in Computer Science, Bind 10877).

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

  • State Space Pruning 100%
  • Structural Reduction 100%
  • CTL Model Checking 100%
  • Source Data Verification 100%
  • Structural Order 100%

  17   !!Link opens in a new tab Citationer (Scopus)

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

  Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 jul. 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, s. 527-546 (Lecture Notes in Computer Science, Bind 10981).

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

  Åben adgang

  Fil

  7   !!Link opens in a new tab Citationer (Scopus)

  268 Downloads (Pure)