Folgen
Veronique Bruyere
Veronique Bruyere
Bestätigte E-Mail-Adresse bei umons.ac.be - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Logic and p-recognizable sets of integers.
V Bruyere, G Hansel, C Michaux, R Villemaire
Bulletin of the Belgian Mathematical Society Simon Stevin 1 (2), 191-238, 1994
3151994
Acacia+, a tool for LTL synthesis
A Bohy, V Bruyère, E Filiot, N Jin, JF Raskin
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
1622012
On the optimal reachability problem of weighted timed automata
P Bouyer, T Brihaye, V Bruyere, JF Raskin
Formal Methods in System Design 31 (2), 135-175, 2007
1042007
On the optimal reachability problem of weighted timed automata
P Bouyer, T Brihaye, V Bruyere, JF Raskin
Formal Methods in System Design 31 (2), 135-175, 2007
1042007
Bertrand numeration systems and recognizability
V Bruyère, G Hansel
Theoretical computer science 181 (1), 17-43, 1997
851997
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games
V Bruyère, E Filiot, M Randour, JF Raskin
Information and Computation 254, 259-295, 2017
802017
Model-checking for weighted timed automata
T Brihaye, V Bruyere, JF Raskin
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
792004
On optimal timed strategies
T Brihaye, V Bruyere, JF Raskin
FORMATS 5, 49-64, 2005
782005
Synthesis from LTL Specifications with Mean-Payoff Objectives.
A Bohy, V Bruyere, E Filiot, JF Raskin
TACAS 13, 169-184, 2013
522013
On completion of codes with finite deciphering delay
V Bruyère, L Wang, L Zhang
European Journal of Combinatorics 11 (6), 513-521, 1990
511990
Automata on linear orderings
V Bruyere, O Carton
Mathematical Foundations of Computer Science 2001: 26th International …, 2001
502001
Durations, parametric model-checking in timed automata with Presburger arithmetic
V Bruyere, E Dall’Olio, JF Raskin
STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science …, 2003
482003
Variable-length maximal codes
V Bruyere, M Latteux
Automata, Languages and Programming: 23rd International Colloquium, ICALP'96 …, 1996
481996
Automata on linear orderings
V Bruyere, O Carton
Journal of Computer and System Sciences 73 (1), 1-24, 2007
462007
Real-time model-checking: Parameters everywhere
V Bruyere, JF Raskin
arXiv preprint cs/0701138, 2007
412007
Computer aided synthesis: a game-theoretic approach
V Bruyère
Developments in Language Theory: 21st International Conference, DLT 2017 …, 2017
352017
On (subgame perfect) secure equilibrium in quantitative reachability games
T Brihaye, V Bruyère, J De Pril, H Gimbert
arXiv preprint arXiv:1205.6346, 2012
322012
Secure equilibria in weighted games
V Bruyère, N Meunier, JF Raskin
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
302014
The complexity of subgame perfect equilibria in quantitative reachability games
M Bogaard, JF Raskin, A Goeminne, V Bruyère, T Brihaye
Logical Methods in Computer Science 16, 2020
262020
On the sets of real numbers recognized by finite automata in multiple bases
V Bruyere, J Brusten, B Boigelot
Logical Methods in Computer Science 6, 2010
262010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20