Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games

  • Nicklas Slorup Johansen (Ophavsperson)
  • Lasse Brink Kær (Ophavsperson)
  • Andreas Leicht Madsen (Ophavsperson)
  • Kristian Ødum Nielsen (Ophavsperson)
  • Jiri Srba (Ophavsperson)
  • Rasmus Grønkjær Tollund (Ophavsperson)

Datasæt

Beskrivelse

This is the artefact for the paper "Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games". The files in this package aim to assist you in running Kaki and generating the results presented in the paper. The details on running Kaki, generating the problems and reproducing the results can be read in the README.md file.
Dato for tilgængelighed27 mar. 2022
ForlagZenodo

Adgang til datasæt

  • 1 Konferenceartikel i proceeding

  • Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games

    Johansen, N. S., Kær, L. B., Madsen, A. L., Nielsen, K. Ø., Srba, J. & Tollund, R. G., 2022, 17th International Conference on Integrated Formal Methods, IFM 2022. Springer, s. 249-267 (Lecture Notes in Computer Science, Bind 13274).

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

    2 Citationer (Scopus)

Citationsformater