"Duality, approximations and distances for probabilistic processes"

研究项目的总体目标是建立并发概率过程推理的形式化方法。特别是，我对具有连续状态空间，但在离散时间步骤中观察到的过程感兴趣：这些系统的一个着名模型是标记马尔可夫过程（LMP）。可能的应用领域包括通信协议和过程控制软件。 对于此类系统，我们希望推理正确性、性能和安全关键属性。*我想沿着理论和实践方面发展这个领域。 我与LMP一起工作，但也与infLMP一起工作，这是LMP的概括，其中通常对措施的要求是可加性的。这个模型包含了常见的：概率转移系统，LMP，概率自动机。它允许建模未指定的系统，例如我们只有不完整规范的系统。 ************

The general goal of the research project is to establish formal methods for reasoning about concurrent probabilistic processes. In particular, I am interested in processes that have a continuous state-space, but are observed in discrete time steps: a well-known model for these systems are Labelled Markov Processes (LMPs).**Possible application areas include communication protocols and process control software. For such systems we would like to reason about correctness, performance and safety critical properties.****I want to develop the field along theoretic and practical sides. I work with LMPs, but also with infLMPs, which are a generalisation of LMPs where the usual requirement for measures to be additive is dropped. This model subsumes the usual ones: probabilistic transition systems, LMPs, probabilistic automata. It allows to model underspecified systems, for example systems for which we only have incomplete specification. ************