| On relevant equilibria in reachability games | 0 | 0.34 | 2021 |
| Constrained existence problem for weak subgame perfect equilibria with ω-regular Boolean objectives | 0 | 0.34 | 2021 |
| Synthesis of equilibria in infinite-duration: games on graphs | 0 | 0.34 | 2021 |
| The Complexity Of Subgame Perfect Equilibria In Quantitative Reachability Games | 0 | 0.34 | 2020 |
| Energy Mean-Payoff Games. | 0 | 0.34 | 2019 |
| On Relevant Equilibria in Reachability Games. | 0 | 0.34 | 2019 |
| Partial Solvers for Generalized Parity Games. | 0 | 0.34 | 2019 |
| The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version). | 0 | 0.34 | 2019 |
| The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games. | 0 | 0.34 | 2019 |
| Parameterized complexity of games with monotonically ordered omega-regular objectives. | 0 | 0.34 | 2018 |
| Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives. | 0 | 0.34 | 2018 |
| Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-Regular Boolean Objectives. | 0 | 0.34 | 2018 |
| Computer aided synthesis: a game theoretic approach. | 0 | 0.34 | 2017 |
| Games with lexicographically ordered $ω$-regular objectives. | 0 | 0.34 | 2017 |
| On the existence of weak subgame perfect equilibria. | 0 | 0.34 | 2017 |
| On the Complexity of Heterogeneous Multidimensional Games. | 0 | 0.34 | 2016 |
| Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds (Full Version). | 0 | 0.34 | 2016 |
| Window Parity Games: An Alternative Approach Toward Parity Games With Time Bounds | 2 | 0.38 | 2016 |
| Weak subgame perfect equilibria and their application to quantitative reachability | 3 | 0.43 | 2015 |
| On the complexity of heterogeneous multidimensional quantitative games. | 0 | 0.34 | 2015 |
| Secure equilibria in weighted games | 9 | 0.72 | 2014 |
| Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. | 9 | 0.51 | 2014 |
| Expectations Or Guarantees? I Want It All! A Crossroad Between Games And Mdps | 4 | 0.44 | 2014 |
| Reasoning on BGP routing filters using tree automata. | 0 | 0.34 | 2014 |
| D Symblicit Algorithms For Optimal Strategy Synthesis In Monotonicmarkov Decision Processes | 3 | 0.39 | 2014 |
| Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. | 1 | 0.36 | 2014 |
| Visibly Pushdown Automata: Universality and Inclusion via Antichains. | 3 | 0.43 | 2013 |
| Synthesis from LTL specifications with mean-payoff objectives | 15 | 0.57 | 2013 |
| On Subgame Perfection in Quantitative Reachability Games | 3 | 0.39 | 2012 |
| Visibly pushdown automata on trees: universality and u-universality | 0 | 0.34 | 2012 |
| On Equilibria in Quantitative Games with Reachability/Safety Objectives | 3 | 0.40 | 2012 |
| An aperiodicity problem for multiwords. | 0 | 0.34 | 2012 |
| Acacia+, a tool for LTL synthesis | 55 | 1.90 | 2012 |
| Trees with Given Stability Number and Minimum Number of Stable Sets | 1 | 0.37 | 2012 |
| Subgame perfection for equilibria in quantitative reachability games | 1 | 0.40 | 2012 |
| Antichain-based QBF solving | 1 | 0.35 | 2011 |
| On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases | 0 | 0.34 | 2010 |
| Equilibria in quantitative reachability games | 10 | 0.66 | 2010 |
| Fibonacci index and stability number of graphs: a polyhedral study | 0 | 0.34 | 2009 |
| On the size of Boyer-Moore automata | 1 | 0.35 | 2009 |
| Tree Automata and Automata on Linear Orderings | 4 | 0.56 | 2009 |
| On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases | 2 | 0.41 | 2008 |
| Durations and parametric model-checking in timed automata | 8 | 0.50 | 2008 |
| Turán Graphs, Stability Number, and Fibonacci Index | 0 | 0.34 | 2008 |
| Automata on linear orderings | 33 | 2.36 | 2007 |
| Real-Time Model-Checking: Parameters everywhere | 26 | 0.92 | 2007 |
| Foreword to the Special Issue Dedicated to the 10th "Journées Montoises d'Informatique Théorique | 0 | 0.34 | 2007 |
| On the optimal reachability problem of weighted timed automata | 40 | 1.37 | 2007 |
| On model-checking timed automata with stopwatch observers | 9 | 0.55 | 2006 |
| Words derivated from Sturmian words | 3 | 0.49 | 2005 |
