Analysis of Recursive Probabilistic Models

DOI10.1007/11901914_1zbMATH Open1161.68593OpenAlexW1523669902MaRDI QIDQ3522888

Mihalis Yannakakis

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11901914_1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

BIFROST -- Block recursive models Induced From Relevant knowledge, Observations, and Statistical Techniques ⋮ Equivalent definitions of the probabilistic characteristics of models with repeated calls and their application ⋮ Recursive computing and simulation-free inference for general factorizable models

This page was built for publication: Analysis of Recursive Probabilistic Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522888)