A framework to measure the robustness of programs in the unpredictable environment
From MaRDI portal
Publication:6135769
DOI10.46298/lmcs-19(3:2)2023arXiv2111.15319MaRDI QIDQ6135769
Simone Tini, Valentina Castiglioni, Michele Loreti
Publication date: 26 August 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2111.15319
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Metrics for labelled Markov processes
- Approximate model checking of stochastic hybrid systems
- Robustness of temporal logic specifications for continuous-time signals
- Simulation distances
- SOS specifications for uniformly continuous operators
- Overcoming overshoot performance limitations of linear systems with reset control
- Reactive, generative, and stratified models of probabilistic processes
- On the empirical estimation of integral probability metrics
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
- How adaptive and reliable is your program?
- Risk excess measures induced by hemi-metrics
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
- The Methods of Distances in the Theory of Probability and Statistics
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Generalized Bisimulation Metrics
- Stochastic Hybrid Systems
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- Calculation of the Wasserstein Distance Between Probability Distributions on the Line
- A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
- Approximate Abstractions of Stochastic Hybrid Systems
- Formal verification of timed properties of randomized distributed algorithms
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Quantifying conformance using the Skorokhod metric
- CONCUR 2005 – Concurrency Theory
- Optimal Transport
- Measuring masking fault-tolerance
- A framework to measure the robustness of programs in the unpredictable environment
This page was built for publication: A framework to measure the robustness of programs in the unpredictable environment
