ProbLog: 
Probabilistic Methods in Logic of Reactive Systems

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

Final Report: problogFinalRep.html, problogFinalRep.ps.

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.