Robust satisfaction of temporal logic over real-valued signals

DOI10.1007/978-3-642-15297-9_9zbMATH Open1290.68071OpenAlexW1533557569MaRDI QIDQ3588086FDOQ3588086

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

Recommendations

Temporal Logic Verification Using Simulation
Robustness of temporal logic specifications for continuous-time signals
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
Robust linear temporal logic
Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (70)

Timed hyperproperties
Dirichlet is natural
Survey on mining signal temporal logic specifications
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
Active and sparse methods in smoothed model checking
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
Mixed-time signal temporal logic
Efficient parametric identification for STL
A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics
An STL-based formulation of resilience in cyber-physical systems
TeLEx: learning signal temporal logic from positive examples using tightness metric
Robust control for signal temporal logic specifications using discrete average space robustness
Model predictive monitoring of dynamical systems for signal temporal logic specifications
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
Title not available (Why is that?)
Monitoring bounded LTL properties using interval analysis
Safe autonomy under perception uncertainty using chance-constrained temporal logic
Unwinding biological systems
A logic of behaviour in context
Algebraic quantitative semantics for efficient online temporal monitoring
Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
A survey of challenges for runtime verification from advanced application domains (beyond software)
Model measuring for discrete and hybrid systems
Generative abstraction of Markov population processes
Quantifying conformance using the Skorokhod metric
A fuzzy real-time temporal logic
Combining refinement and signal-temporal logic for biological systems
System design of stochastic models using robustness of temporal properties
Robustness of temporal logic specifications for continuous-time signals
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
Quantitative monitoring of STL with edit distance
Sampling polynomial trajectories for LTL verification
Crossing the Bridge between Similar Games
Robust, expressive, and quantitative linear temporal logics: pick any two for free
Robust, expressive, and quantitative linear temporal logics: pick any two for free
Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
Extracting counterexamples induced by safety violation in linear hybrid systems
Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
Temporal Logic Verification Using Simulation
Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
MITL verification under timing uncertainty
STL*: extending signal temporal logic with signal-value freezing operator
Robust online monitoring of signal temporal logic
A Multiresolution Analysis of Temporal Logic
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Linear Time Monitoring for One Variable TPTL
Multi-Requirement Testing Using Focused Falsification
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
Temporal Robustness of Stochastic Signals
A framework to measure the robustness of programs in the unpredictable environment
Robust satisfaction of metric interval temporal logic objectives in adversarial environments
Mining of extended signal temporal logic specifications with ParetoLib 2.0
Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo tree search
Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots
The quest for an adequate semantic basis of dense-time metric temporal logic
Artificial intelligence in biological modelling
A computable and compositional semantics for hybrid systems
A program logic to verify signal temporal logic specifications of hybrid systems
An STL-based Approach to Resilient Control for Cyber-Physical Systems
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
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
Assured learning-enabled autonomy: a metacognitive reinforcement learning framework
Dynamic event-triggered prescribed performance control for nonlinear systems with signal temporal logic
Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS
Monitoring algorithmic fairness
Online causation monitoring of signal temporal logic
Robust alternating-time temporal logic

This page was built for publication: Robust satisfaction of temporal logic over real-valued signals

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