collaborators

1 paper

cs.LO2024

Towards a Proof System for Probabilistic Dynamic Logic

Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo +2

Whereas the semantics of probabilistic languages has been extensively studied, specification languages for their properties have received less attention -- with the notable excepti…