No. Title Author Year
1 Büchi Objectives in Countable MDPs Kiefer, Stefan et al. 2019
2 On the Complexity of Value Iteration Balaji, Nikhil et al. 2019
3 Costs and Rewards in Priced Timed Automata Fränzle, Martin et al. 2018
4 On Restricted Nonnegative Matrix Factorization Chistikov, Dmitry et al. 2016
5 Synchronizing Data Words for Register Automata Babari, Parvaneh et al. 2016
6 Synchronizing Words for Weighted and Timed Automata Doyen, Laurent et al. 2014
Current Page :
Number of result pages: 1
Number of documents: 6

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