No. Title Author Year
1 Expressiveness of Probabilistic Modal Logics, Revisited Fijalkow, NathanaŽl et al. 2017
2 Probabilistic Automata of Bounded Ambiguity Fijalkow, NathanaŽl et al. 2017
3 Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem Fijalkow, NathanaŽl et al. 2017
4 Characterisation of an Algebraic Algorithm for Probabilistic Automata Fijalkow, NathanaŽl 2016
5 The Bridge Between Regular Cost Functions and Omega-Regular Languages Colcombet, Thomas et al. 2016
6 Playing Safe Colcombet, Thomas et al. 2014
7 Emptiness Of Alternating Tree Automata Using Games With Imperfect Information Fijalkow, NathanaŽl et al. 2013
8 Infinite-state games with finitary conditions Chatterjee, Krishnendu et al. 2013
9 Cost-Parity and Cost-Streett Games Fijalkow, Nathanael et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 9

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