Probabilistic Methods in Logic of Reactive Systems

PRAXIS XXI Project PRAXIS/P/MAT/10002/1998: Mar1999-May2001 of CMA.

Final Report: problogFinalRep.html,

The action was aimed at the development of modular specification and verification methods for probabilistic and hybrid systems, using concepts, results and techniques from the theory of stochastic processes, the theory of categories and mathematical logic.

Key researchers

Some relevant papers

Main tasks

Last update: June 21, 2001.