activity
20132024
most citedModel checking coalitional games in shortage resource scenarios

6 citations · 12 across the 6 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2023

Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification

Antonis Achilleos, Dario Della Monica

This volume contains the proceedings of the 14th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). The aim of GandALF 2023 symposium is to…