Robust Satisfaction of Temporal Logic over Real-Valued Signals
From MaRDI portal
Publication:3588086
DOI10.1007/978-3-642-15297-9_9zbMath1290.68071OpenAlexW1533557569MaRDI QIDQ3588086
Publication date: 10 September 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15297-9_9
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (53)
Timed hyperproperties ⋮ Combining refinement and signal-temporal logic for biological systems ⋮ Active and sparse methods in smoothed model checking ⋮ Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness ⋮ Crossing the Bridge between Similar Games ⋮ Model measuring for discrete and hybrid systems ⋮ Robust online monitoring of signal temporal logic ⋮ Quantitative monitoring of STL with edit distance ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ Robust, expressive, and quantitative linear temporal logics: pick any two for free ⋮ Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Generative abstraction of Markov population processes ⋮ Multi-Requirement Testing Using Focused Falsification ⋮ Linear Time Monitoring for One Variable TPTL ⋮ Successive Convexification for Optimal Control with Signal Temporal Logic Specifications ⋮ Temporal Robustness of Stochastic Signals ⋮ Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications ⋮ A Multiresolution Analysis of Temporal Logic ⋮ A framework to measure the robustness of programs in the unpredictable environment ⋮ A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics ⋮ Model predictive monitoring of dynamical systems for signal temporal logic specifications ⋮ Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo tree search ⋮ The quest for an adequate semantic basis of dense-time metric temporal logic ⋮ A program logic to verify signal temporal logic specifications of hybrid systems ⋮ Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes ⋮ An STL-based Approach to Resilient Control for Cyber-Physical Systems ⋮ Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic ⋮ Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions ⋮ Stealthy attacks formalized as STL formulas for Falsification of CPS Security ⋮ Unnamed Item ⋮ Dirichlet is natural ⋮ Quantifying conformance using the Skorokhod metric ⋮ A logic of behaviour in context ⋮ STL*: extending signal temporal logic with signal-value freezing operator ⋮ Robust control for signal temporal logic specifications using discrete average space robustness ⋮ Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models ⋮ Safe autonomy under perception uncertainty using chance-constrained temporal logic ⋮ TeLEx: learning signal temporal logic from positive examples using tightness metric ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks ⋮ Algebraic quantitative semantics for efficient online temporal monitoring ⋮ Monitoring bounded LTL properties using interval analysis ⋮ Sampling polynomial trajectories for LTL verification ⋮ Funnel control for fully actuated systems under a fragment of signal temporal logic specifications ⋮ Survey on mining signal temporal logic specifications ⋮ System design of stochastic models using robustness of temporal properties ⋮ Unwinding biological systems ⋮ An STL-based formulation of resilience in cyber-physical systems ⋮ MITL verification under timing uncertainty ⋮ A fuzzy real-time temporal logic ⋮ Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
This page was built for publication: Robust Satisfaction of Temporal Logic over Real-Valued Signals
