Similar Items: Stochastic Processes with Expected Stopping Time
- Stochastic Timed Automata
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Coinductive Proof Principles for Stochastic Processes
- On the Metric Temporal Logic for Continuous Stochastic Processes
- Losing Momentum in Continuous-time Stochastic Optimisation
- Learning and Designing Stochastic Processes from Logical Constraints