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
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
