RobTL: robustness temporal logic for CPS

DOI10.4230/LIPICS.CONCUR.2024.15MaRDI QIDQ6859941zbMATH OpenFDO

Authors Valentina Castiglioni, Michele Loreti, Simone Tini

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2024.15

zbMATH Keywords

cyber-physical systemsrobustnesstemporal logicuncertainty

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A framework to measure the robustness of programs in the unpredictable environment
• A Notion of Robustness for Cyber-Physical Systems
• Analysis of spatio-temporal properties of stochastic systems using TSTL
• Bootstrap confidence intervals. With comments and a rejoinder by the authors
• Bootstrap methods: another look at the jackknife
• Computer Aided Verification
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
• Design principles for robust biochemical reaction networks: what works, what cannot work, and what might almost work
• How adaptive and reliable is your program?
• scientific article; zbMATH DE number 5347321 (Why is no real title available?)
• scientific article; zbMATH DE number 1094954 (Why is no real title available?)
• scientific article; zbMATH DE number 1444349 (Why is no real title available?)
• scientific article; zbMATH DE number 3429908 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• Measure theory. Vol. I and II
• Nonparametric standard errors and confidence intervals
• On temporal logic constraint solving for analyzing numerical data time series
• On the empirical estimation of integral probability metrics
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Risk excess measures induced by hemi-metrics
• Robust satisfaction of temporal logic over real-valued signals
• Robustness of temporal logic specifications for continuous-time signals
• Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
• Statistical verification of PCTL using antithetic and stratified samples
• Stochastic model checking
• The methods of distances in the theory of probability and statistics.

This page was built for publication: RobTL: robustness temporal logic for CPS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6859941)