◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Thomas Brihaye

38 papers hereh-index 231.8k citations94 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author29
  • middle author7
  • last author1

Across the 37 of 38 papers where every author was matched, so the position is known.

fields
  • cs.GT21
  • cs.LO13
  • cs.FL3
  • cs.SE1

identity via Semantic Scholar / OpenAlex

activity
20092025
most citedStochastic Timed Automata

52 citations · 149 across the 34 of their papers we have counts for

collaborators
Showing 2018Show all

2 papers · 1 filter

cs.GT2018★ 4 cited

Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-Regular Boolean Objectives

Thomas Brihaye, Véronique Bruyère, Aline Goeminne +1

We study multiplayer turn-based games played on a finite directed graph such that each player aims at satisfying an omega-regular Boolean objective. Instead of the well-known notio…

cs.GT2018

Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives (full version)

Thomas Brihaye, Véronique Bruyère, Aline Goeminne +1

We study multiplayer turn-based games played on a finite directed graph such that each player aims at satisfying an omega-regular Boolean objective. Instead of the well-known notio…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.