BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Thomas Brihaye
SearchCollections
Map detail
Thomas Brihaye13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipThomas BrihayeAThomas BrihayeResearcherOn Subgame Perfect Equilibria in Turn-Based Reachability Timed GamesWOn Subgame Perfect Equi...preprint / 2020Adding Negative Prices to Priced Timed GamesWAdding Negative Prices ...preprint / 2020On Reachability for Hybrid Automata over Bounded TimeWOn Reachability for Hyb...preprint / 2011On Equilibria in Quantitative Games with Reachability/Safety ObjectivesWOn Equilibria in Quanti...preprint / 2012Time-bounded Reachability for Hybrid Automata: Complexity and FixpointsWTime-bounded Reachabili...preprint / 2012Multiplayer Cost Games with Simple Nash EquilibriaWMultiplayer Cost Games ...preprint / 2012Simple strategies for Banach-Mazur games and fairly correct systemsWSimple strategies for B...preprint / 2013On MITL and alternating timed automataWOn MITL and alternating...preprint / 2013On MITL and alternating timed automata over infinite wordsWOn MITL and alternating...preprint / 2014Weak Subgame Perfect Equilibria and their Application to Quantitative ReachabilityWWeak Subgame Perfect Eq...preprint / 2015To Reach or not to Reach? Efficient Algorithms for Total-Payoff GamesWTo Reach or not to Reac...preprint / 2015Quantitative Games under FailuresWQuantitative Games unde...preprint / 2015
Person12 links

Thomas Brihaye

Researcher

PaperOn Subgame Perfect Equilibria in Turn-Based Reachability Timed GamesAuthorship / preprint / 2020PaperAdding Negative Prices to Priced Timed GamesAuthorship / preprint / 2020PaperOn Reachability for Hybrid Automata over Bounded TimeAuthorship / preprint / 2011PaperOn Equilibria in Quantitative Games with Reachability/Safety ObjectivesAuthorship / preprint / 2012PaperTime-bounded Reachability for Hybrid Automata: Complexity and FixpointsAuthorship / preprint / 2012PaperMultiplayer Cost Games with Simple Nash EquilibriaAuthorship / preprint / 2012PaperSimple strategies for Banach-Mazur games and fairly correct systemsAuthorship / preprint / 2013PaperOn MITL and alternating timed automataAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)