Items where Author is "Mathieu, Tracol"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Monograph
Number of items: 2.


Chatterjee, Krishnendu and Chmelík, Martin and Mathieu, Tracol (2013) What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. Technical Report. IST Austria.

Chatterjee, Krishnendu and Mathieu, Tracol (2011) Decidable problems for probabilistic automata on infinite words. Technical Report. IST Austria.

This list was generated on Sun Jun 16 01:01:48 2019 CEST.