18 citations · 100 across the 28 of their papers we have counts for
1 paper · 1 filter
Giorgio Bacci, Mickaël Randour
This volume contains the proceedings of GandALF 2026, the Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification. The symposium was held in Aalborg…