Quantitative Analysis of Non-Standard Properties in Probabilistic models

Presentation

The long-term goal of the QuantProb associated team is to develop algorithms for the optimization of non-standard quantitative properties in partially observable probabilistic models. We will first isolate difficulties and deal on the one hand with simple properties under partial observation, and on the other hand with non-standard properties assuming perfect observation. Each of these tasks is non-trivial, and combining the two sources of difficulty will be tackled subsequently.
QuantProb is an Inria associated team between