Control-data separation and logical condition propagation for efficient inference on probabilisti...

[Free GPT-4]
[PDF] arxiv.org

A Unifying Approach to Product Constructions for Quantitative Temporal Inference

K Watanabe, S Junges, J Rot, I Hasuo - arxiv preprint arxiv:2407.10465, 2024 - arxiv.org
Probabilistic programs are a powerful and convenient approach to formalise distributions
over system executions. A classical verification problem for probabilistic programs is …
Save Cite Related articles All 2 versionsFree GPT-4 View as HTML

[CITATION][C] Logic and Calculi for All on the occasion of Luís Barbosa's 60th birthday

A Madeira, JN Oliveira, J Proença, R Neves - Journal of Logical and …, 2024 - Elsevier
Save Cite Related articles