A Aralex Aachen research explorer

February 24, 2011 article Open access

Models for Prediction, Explanation and Control: Recursive Bayesian Networks

THEORIA An International Journal for Theory History and Foundations of Science

DOI: 10.1387/theoria.784 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 58

Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

4

citations

1 result

References 0