scientific article; zbMATH DE number 2102711

zbMath1046.68581MaRDI QIDQ4817550

Oded Maler, Marius Bozga

Publication date: 24 September 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Model Checking Linear-Time Properties of Probabilistic Systems ⋮ Weighted positive binary decision diagrams for exact probabilistic inference ⋮ Modelling and inference with conditional Gaussian probabilistic decision graphs ⋮ Supervised classification using probabilistic decision graphs ⋮ Learning probabilistic decision graphs ⋮ Structural-EM for learning PDG models from incomplete data

This page was built for publication: