# 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

**Stochastic Processes Group** (SPG)
- António Pacheco
- Cláudia Nunes
- Manuel Morais
- Nelson Antunes

## Some relevant papers

## Main tasks

- Probabilistic logic
- Probabilistic temporal logic of actions
- Probabilistic modal logic
- Probabilistic situation calculus

- Logic for hybrid systems
- Logic of continuous evolution
- Logic of hybrid systems as a combination
- Hybrid situation calculus

- Categorial characterization
- Theory of precategories
- Precategories of probabilistic structures
- Combination of probabilistic and hybrid systems
- Compositional extended situation calculus

- Statistical inference
- Estimation, identifiability and observational equivalence
- First passage times
- Compositionality
- Applications to broadband wireless systems

Last update: June 21, 2001.