7 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.FL2010★ 1 cited
Implicit Real Vector Automata
Bernard Boigelot, Julien Brusten, Jean-François Degbomont
This paper addresses the symbolic representation of non-convex real polyhedra, i.e., sets of real vectors satisfying arbitrary Boolean combinations of linear constraints. We develo…
cs.LO2010★ 7 cited
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
Bernard Boigelot, Julien Brusten, Veronique Bruyere
This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted…