V
Véronique Bruyère
Researcher at University of Mons
Publications - 130
Citations - 1968
Véronique Bruyère is an academic researcher from University of Mons. The author has contributed to research in topics: Subgame perfect equilibrium & Decidability. The author has an hindex of 22, co-authored 124 publications receiving 1819 citations. Previous affiliations of Véronique Bruyère include University of Mons-Hainaut.
Papers
More filters
Journal ArticleDOI
LOGIC AND p-RECOGNIZABLE SETS OF INTEGERS
TL;DR: Cobham’s theorem is focused on which characterizes the sets recognizable in dierent bases p and on its generalization to N m due to Semenov.
Book ChapterDOI
Acacia+, a tool for LTL synthesis
TL;DR: Acacia+, a tool for solving the LTL realizability and synthesis problems, is presented, using recent approaches that reduce these problems to safety games, and can be solved efficiently by symbolic incremental algorithms based on antichains.
Journal Article
ACACIA+ a Tool for LTL Synthesis
TL;DR: Acacia+ as discussed by the authors is a tool for solving the LTL realizability and synthesis problems using antichains, which can be solved efficiently by symbolic incremental algorithms based on antichain.
Journal ArticleDOI
Bertrand numeration systems and recognizability
Véronique Bruyère,Georges Hansel +1 more
TL;DR: It is shown how to modify characterizations of sets of numbers recognizable by a finite automaton, when integer bases p are replaced by linear numeration systems whose characteristic polynomial is the minimalPolynomial of a Pisot number.
Journal ArticleDOI
On the optimal reachability problem of weighted timed automata
TL;DR: The cost-optimal reachability problem for weighted timed automata such that positive and negative costs are allowed on edges and locations is studied, and an extension of the region graph, the weighted discrete graph, is proposed, whose structure gives light on the way to solve the cost-optimality problem.