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


DROPS-Home | Fulltext Search | Imprint Published by LZI