32 citations · 172 across the 29 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021★ 4 cited
Learning Realtime One-Counter Automata
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
We present a new learning algorithm for realtime one-counter automata. Our algorithm uses membership and equivalence queries as in Angluin's L* algorithm, as well as counter value…
cs.GT2021
Stackelberg-Pareto Synthesis (Full Version)
Véronique Bruyère, Jean-François Raskin, Clément Tamines
In this paper, we study the framework of two-player Stackelberg games played on graphs in which Player 0 announces a strategy and Player 1 responds rationally with a strategy that…