A Aralex Aachen research explorer

September 01, 2012 conference-paper

Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language

International Conference on Quantitative Evaluation of Systems (QEST)

DOI: 10.1109/qest.2012.21 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 8

Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

11

citations

1 result

References 0