1
0
0
News
QEST 2008: The Programme
www.qest.org
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Nicolas Markey; "Symbolic Partition Refinement with Dynamic Balancing of Time and Space" › qest2008 › programme
Sat April 12th - ETAPS 2014
etaps.org
Robust Strategies in Timed Games; Benjamin Monmege, Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi. › programme
CSL 2012: Computer Science Logic, 3-6 Sep 2012, Fontainebleau, France
resources.illc.uva.nl
... Pittsburgh, USA) - Arnold Beckmann (Swansea, UK) - Nikolaj Bjorner (Microsoft, Redmond, USA) - Julian Bradfield (Edimburgh, UK) - Thomas Brihaye (Mons, ...
Network Profiles
LinkedIn: Thomas Brihaye - Libourne, Nouvelle-Aquitaine, France
› thomas-brih...
Time-bounded reachability for monotonic hybrid automata
people.mpi-sws.org
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts Joël Ouaknine, Jean-François Raskin, and James Worrell. We study the time-bounded reachability problem for ... › ~joel › publications
Joël Ouaknine: On reachability for hybrid automata over ...people.mpi-sws.org › ~joel › publications
people.mpi-sws.org
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, and James Worrell. This paper investigates the time-bounded version ...
Interests
Thomas Brihaye, A note on the undecidability of the reachability...
philpapers.org
In this paper we prove that the reachability problem is BSS-undecidable for o-minimal dynamical systems
Thomas Brihaye, Christian Michaux & Cédric Rivière, Cell...
philpapers.org
In this paper we develop a differential analogue of o-minimal cell decomposition for the theory CODF of closed ordered differential fields. Thanks to this...
Patricia Bouyer, Thomas Brihaye & Fabrice Chevalier, Weighted...
philpapers.org
We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer...
Business Profiles
Researchgate: Thomas Brihaye
Mons, Hainaut, Belgium
Thomas BRIHAYE | Professor (Full) | Department of Mathematics
www.researchgate.net
› Université de Mons
Employees
Schewe, Sven - Institute for Risk and Uncertainty - University of...
www.liverpool.ac.uk
TACAS Thomas Brihaye, Julie De Pril, and Sven Schewe. Multiplayer Cost Games with Simple Nash Equilibria. LFCS John Fearnley, Doron Peled, ...
Heritage
Christian Michaux - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Christian Michaux Thomas Brihaye: Université de Mons-Hainaut: ... The Mathematics Genealogy Project is in need of funds to help pay for student help …
Projects
HOL theorem-proving system / [Hol-info] RP First Call for...
sourceforge.net
RP2014 Program Committee: Marius Bozga, VERIMAG Grenoble Thomas Brihaye, Université de Mons Véronique Bruyère, Université de Mons ...
Minimum-time reachability in timed games
ptolemy.berkeley.edu
Minimum-time reachability in timed games Thomas Brihaye, Tom Henzinger, Vinayak Prabhu, Jean-François Raskin. Citation Thomas Brihaye, Tom Henzinger, Vinayak …
Books & Literature
Le petit garçon qui voulait devenir un Homme - Barnes & Noble
www.barnesandnoble.com
4 Sept — About the Author. Au moment de choisir ses études, Thomas Brihaye hésitait entre mathématiques et philosophie. Son rationnel le conduira à ... › le...
A note on the undecidability of the reachability problem for o ...
onlinelibrary.wiley.com
2 Mar — Thomas Brihaye,. Thomas Brihaye. .be. Université de Mons-Hainaut, Institut de Mathématique, Place du parc 20, ... › doi › malq
Related Documents
One-Clock Priced Timed Games with Negative Weights - arXiv
arxiv.org
by T Brihaye · — One-Clock Priced Timed Games with Negative Weights. Authors:Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege · Download PDF. › cs
Positive Versus Negative Incentives for Loan Repayment in ...
papers.ssrn.com
by T Brihaye · · Cited by 6 — Thomas Brihaye · Julie De Pril · Marc Labie · Anaïs Périlleux · Do you have a job opening that you would like to promote on SSRN? · Paper statistics. › sol3 › papers
Scientific Publications
Weighted o-minimal hybrid systems - ScienceDirectwww.sciencedirect.com › science › article › pii
www.sciencedirect.com
Patricia Bouyer, Thomas Brihaye, Fabrice ChevalierWeighted o-minimal hybrid systems are more decidable than weighted timed automata! Proc. Symposium on ...
Publikationen — Professur für Algebraische und logische Grundlagen...
tu-dresden.de
Bücher
Publications
On Optimal Timed Strategies | SpringerLink
link.springer.com
by T Brihaye · · Cited by 76 — Thomas Brihaye,; Véronique Bruyère &; Jean-François Raskin. Conference paper Accesses. 31 Citations. Part of the Lecture Notes in Computer Science book ... › chapter
Publications - Florent Delgrange
delgrange.me
Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour (2020). Life is Random, Time is Not: Markov Decision Processes with Window Objectives. › publication
On O-Minimal Hybrid Systems | SpringerLink
link.springer.com
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the...
Video & Audio
Les ordinateurs quantiques, quid de la complexité TR-camtr-cam.com › video › les-ordinateurs-...
tr-cam.net
▶ 41:10Les ordinateurs quantiques, quid de la complexité algorithmique? (par Thomas Brihaye). Physique à Mons ...
Miscellaneous
Le petit garçon qui voulait devenir un Homme
www.editions-academia.be
10 May — ... Thomas Brihaye - Fable, Mort, Deuil, Souffrance, Acceptation, Résilience - Ouvrage disponible en version papier et/ou numérique (ebook) › li...
Le petit garçon qui voulait devenir un Homme - Livre numérique
www.renaud-bray.com
THOMAS BRIHAYE ; Pages : 104 ; Sujet : NUL DIVERS ; ISBN : ( ) ; Référence Renaud-Bray : › livre...
Aline Goeminne
alinegoeminne.github.io
On Relevant Equilibria in Reachability Games: Thomas Brihaye, Véronique Bruyère, Aline Goeminne and Nathan Thomasset, RP'19. [Extended version on arXiv] ...
Dynamics and Coalitions in Sequential Games - DOI
doi.org
7 Sept — Authors:Thomas Brihaye (UMONS), Gilles Geeraerts (Université libre de Bruxelles), Marion Hallet (UMONS), Stéphane Le Roux (Université libre Sept — Authors:Thomas Brihaye (Université de Mons), Véronique Bruyère (Université de Mons), Aline Goeminne (Université de Mons), Jean-François ... › EPTCS › EPTCS
Marcin Jurdzinski: some rather old papers
www.dcs.warwick.ac.uk
Average-price and reachability-price games on hybrid automata with strong resets; (co-authors: Patricia Bouyer, Thomas Brihaye, Ranko Lazic, ... › ~mju › Papers
Markov Decision Processes with Window Objectives - DROPS
drops.dagstuhl.de
by T Brihaye · · Cited by 7 — @InProceedings{brihaye_et_al:LIPIcs:2019:10910, author = {Thomas Brihaye and Florent Delgrange and Youssouf Oualhadj and Mickael Randour}, title = {{Life Is ... › opus › volltexte
MightyL: A Compositional Translation from MITL to Timed ...
hal.univ-grenoble-alpes.fr
by T Brihaye · · Cited by 28 — Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege. MightyL: A Compositional Translation from MITL to Timed Automata. › hal
Pseudopolynomial iterative algorithm to solve total-payoff ...
hal.univ-reunion.fr
by T Brihaye · · Cited by 17 — Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege. Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability ... › MOVE
Technical Reports - Thomas A. Henzinger - UC Berkeley EECS
www2.eecs.berkeley.edu
Thomas Brihaye, Thomas A. Henzinger, Vinayak Prabhu and Jean-Francois Raskin. Generalized Parity Games (EECS ) Krishnendu Chatterjee, Thomas A. › TechRpts › Faculty
Using Model Checking for Analyzing Distributed Power ...
jwcn-eurasipjournals.springeropen.com
by T Brihaye · · Cited by 11 — Thomas Brihaye. Centre de Recherche en Automatique de Nancy (CRAN), Nancy Université, CNRS, 2 avenue de la Forêt de Haye... › articles
Related search requests for Thomas Brihaye
Laurent Doyen Christel Baier Benjamin Monmege | Lakshmi Manasa Patricia Bouyer Marius Bozga | Christian Michaux |
People Forename "Thomas" (110099) Name "Brihaye" (4) |
sorted by relevance / date