Skip to content

Solving Mean-Payoff Games via Quasi Dominions.

Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero

VenueATACAS
Year2020
ProceedingsTACAS (2)

Browse the full TACAS paper archive.