Pages that link to "Item:Q2323974"
From MaRDI portal
The following pages link to Relational reasoning for Markov chains in a probabilistic guarded lambda calculus (Q2323974):
Displaying 4 items.
- Trace relations and logical preservation for Markov automata (Q1631227) (← links)
- Trace relations and logical preservation for continuous-time Markov decision processes (Q1675807) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- (Q5002798) (← links)