Mathieu Tracol

Available identifiers

zbMath Open tracol.mathieuMaRDI QIDQ269508

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4965819	2021-03-10	Paper
Decidable Problems for Probabilistic Automata on Infinite Words	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	2016-04-18	Paper
Approximation of large probabilistic networks by structured population protocols	2013-09-20	Paper
Recurrence and transience for probabilistic automata	2012-10-24	Paper
Recurrence and transience for finite probabilistic tables	2011-03-14	Paper
Fast convergence to state-action frequency polytopes for MDPs	2009-05-07	Paper

Research outcomes over time

This page was built for person: Mathieu Tracol