Mathieu Tracol

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7318983 (Why is no real title available?)	2021-03-10	Paper
scientific article; zbMATH DE number 7318983 (Why is no real title available?) (available as arXiv preprint)	2021-03-10	Paper
Decidable problems for probabilistic automata on infinite words 2012 27th Annual IEEE Symposium on Logic in Computer Science	2017-05-16	Paper
What is decidable about partially observable Markov decision processes with omega-regular objectives	2017-02-02	Paper
What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives Journal of Computer and System Sciences	2016-04-18	Paper
Approximation of large probabilistic networks by structured population protocols Algebraic Informatics	2013-09-20	Paper
Recurrence and transience for probabilistic automata	2012-10-24	Paper
Recurrence and transience for finite probabilistic tables Theoretical Computer Science	2011-03-14	Paper
Fast convergence to state-action frequency polytopes for MDPs Operations Research Letters	2009-05-07	Paper

Research outcomes over time

This page was built for person: Mathieu Tracol