It Usually Works: The Temporal Logic of Stochastic Systems
Abstract elided by the publisher.
Related papers
- Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes TACAS 2022
- Time Robustness in MTL and Expressivity in Hybrid System Falsification CAV 2015
- Monitoring Temporal Properties of Stochastic Systems VMCAI 2008
- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models TACAS 2018
- Temporal Refinements for Guarded Recursive Types ESOP 2021
- A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation VMCAI 2023
- Correlated Equilibria and Fairness in Concurrent Stochastic Games TACAS 2022
- Temporal Stream Logic: Synthesis Beyond the Bools CAV 2019