Similar Items: Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
- On the Metric Temporal Logic for Continuous Stochastic Processes
- Losing Momentum in Continuous-time Stochastic Optimisation
- Geometric Model Checking of Continuous Space
- Losing Momentum in Continuous-time Stochastic Optimisation
- Losing Momentum in Continuous-time Stochastic Optimisation