( en | de | ru )

 

Disambiguation of "Bordais, Benjamin"

Author of the publication

copydeleteadd this publication to your clipboard
Sub-game optimal strategies in concurrent games with prefix-independent objectives.

, , and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Benjamin Bender

Cerebrospinal fluid and interstitial fluid volume measurement in the human brain at 3T with EPI. Uni Tübingen, (2009)

Benjamin Köckemann

Abundance, niche breadth and stress in the centre and at the border of the distribution range: a macroecological study on abundant and rare tree specie. Uni Göttingen, (2008)

Benjamin Braatz

Formal modelling and application of graph transformations in the resource description framework. TU Berlin, (2009)

Benjamin Bröker

Benjamin Lindner

 

Other publications of authors with the same name

From Local To Global Optimality in Concurrent Parity Games., , and . CoRR, (2023)Expected Window Mean-Payoff., , and . FSTTCS, volume 150 of LIPIcs, page 32:1-32:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games., , and . FSTTCS, volume 250 of LIPIcs, page 33:1-33:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Learning Branching-Time Properties in CTL and ATL via Constraint Solving., , and . CoRR, (2024)Strategy Synthesis for Global Window PCTL., , , and . ICALP, volume 229 of LIPIcs, page 115:1-115:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)From Local to Global Optimality in Concurrent Parity Games., , and . CSL, volume 288 of LIPIcs, page 18:1-18:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Sub-game optimal strategies in concurrent games with prefix-independent objectives., , and . CoRR, (2023)Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking., , , , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 59-76. Springer, (2019)Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives., , and . FoSSaCS, volume 13992 of Lecture Notes in Computer Science, page 541-560. Springer, (2023)Optimal Strategies in Concurrent Reachability Games., , and . CSL, volume 216 of LIPIcs, page 7:1-7:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)