33 citations · 36 across the 3 of their papers we have counts for
3 papers
Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report)
Vojtěch Havlena, Ondřej Lengál
This paper provides several optimizations of the rank-based approach for complementing Büchi automata. We start with Schewe's theoretically optimal construction and develop a set o…
Mean-payoff Games with Partial Observation
Paul Hunter, Arno Pauly, Guillermo A. Pérez +1
Mean-payoff games are important quantitative models for open reactive systems. They have been widely studied as games of full observation. In this paper we investigate the algorith…
On Functionality of Visibly Pushdown Transducers
Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier +2
Visibly pushdown transducers form a subclass of pushdown transducers that (strictly) extends finite state transducers with a stack. Like visibly pushdown automata, the input symbol…