88 citations · 281 across the 25 of their papers we have counts for
Showing cs.GTShow all
2 papers · 1 filter
cs.GT2021
New Algorithms for Combinations of Objectives using Separating Automata
Ashwani Anand, Nathanaël Fijalkow, Aliénor Goubault-Larrecq +2
The notion of separating automata was introduced by Bojanczyk and Czerwinski for understanding the first quasipolynomial time algorithm for parity games. In this paper we show that…
cs.GT2019
Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification
Jérôme Leroux, Jean-Francois Raskin
This volume contains the proceedings of the Tenth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2019). The symposium took place in Bordeaux, Fr…