Collaborated with:
P.Mateus R.Nagarajan N.Papanikolaou
Talks about:
probabilist (1) exogen (1) comput (1) logic (1) tree (1)
Person: Pedro Baltazar
DBLP: Baltazar:Pedro
Contributed to:
Wrote 1 papers:
- QAPL-2007-BaltazarMNP #logic #probability
- Exogenous Probabilistic Computation Tree Logic (PB, PM, RN, NP), pp. 95–110.