No. Title Author Year
1 Optimal Transformations of Games and Automata Using Muller Conditions Casares, Antonio et al. 2021
2 Statistical Comparison of Algorithm Performance Through Instance Selection Matricon, Théo et al. 2021
3 A Robust Class of Linear Recurrence Sequences Barloy, Corentin et al. 2020
4 Lower Bounds for Arithmetic Circuits via the Hankel Matrix Fijalkow, Nathanaël et al. 2020
5 Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games Fijalkow, Nathanaël et al. 2020
6 Quantifying Bounds in Strategy Logic Fijalkow, Nathanaël et al. 2018
7 Expressiveness of Probabilistic Modal Logics, Revisited Fijalkow, Nathanaël et al. 2017
8 Probabilistic Automata of Bounded Ambiguity Fijalkow, Nathanaël et al. 2017
9 Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem Fijalkow, Nathanaël et al. 2017
10 Characterisation of an Algebraic Algorithm for Probabilistic Automata Fijalkow, Nathanaël 2016
11 The Bridge Between Regular Cost Functions and Omega-Regular Languages Colcombet, Thomas et al. 2016
12 Playing Safe Colcombet, Thomas et al. 2014
13 Emptiness Of Alternating Tree Automata Using Games With Imperfect Information Fijalkow, Nathanaël et al. 2013
14 Infinite-state games with finitary conditions Chatterjee, Krishnendu et al. 2013
15 Cost-Parity and Cost-Streett Games Fijalkow, Nathanael et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 15

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI