Timed Relational Abstractions for Sampled Data Control Systems
Abstract elided by the publisher.
Related papers
- Bayesian strategies: probabilistic programs as generalised graphical models ESOP 2021
- On Sampling Abstraction of Continuous Time Logic with Durations TACAS 2007
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures CAV 2022
- Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages SLE 2024
- Proactive Real-Time First-Order Enforcement CAV 2024
- APT: A Data Structure for Optimal Control Dependence Computation PLDI 1995
- Branching Bisimulation Learning CAV 2025
- Using sample-based time series data for automated diagnosis of scalability losses in parallel programs PPoPP 2020