UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsFORTE 2023 Best artefact for Petra van den Bos and Marielle Stoelinga

FORTE 2023 Best artefact for Petra van den Bos and Marielle Stoelinga

We congratulate Petra and Marielle, who won the Best Artefact Award for the artefact included with the paper: "With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves", during the international 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, in Lisbon, Portugal, 19 - 23 June 2023.
See (link to artefact): Artefact for paper "With a little help from your friends: semi-cooperative games via Joker moves" | Zenodo