Bruyère, Véronique
- Secure Equilibria in Weighted Games
2014/02/17 by Véronique Bruyère, Bruyère, Véronique, Noémie Meunier +3 · 4 citations
Computer Science · Decision Sciences · Economics, Econometrics and Finance · #Computer Science and Game Theory (cs.GT) #Economic theories and models #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Game Theory and Applications #Logic, Reasoning, and Knowledge #cs.FL #cs.GT
- Synthesis from LTL Specifications with Mean-Payoff Objectives
2012/10/11 by Aaron Bohy, Véronique Bruyère, Bohy, Aaron +5 · 1 citation
Computer Science · Engineering · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research #cs.GT #cs.LO
- On Relevant Equilibria in Reachability Games
2019/07/11 by Brihaye, Thomas, Bruyère, Véronique, Goeminne, Aline +1 · 1 citation
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences
- Active Learning of Mealy Machines with Timers
2024/03/04 by Véronique Bruyère, Bruyère, Véronique, Bharat Garhewal +7 · 2 citations
Computer Science · Engineering · #68Q45 #Advanced Memory and Neural Computing #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Quantum Computing Algorithms and Architecture