Pages that link to "Item:Q3588086"

The following pages link to Robust Satisfaction of Temporal Logic over Real-Valued Signals (Q3588086):

Displaying 50 items.

• Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
• Timed hyperproperties (Q821560) (← links)
• Active and sparse methods in smoothed model checking (Q832071) (← links)
• Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness (Q832206) (← links)
• Quantitative monitoring of STL with edit distance (Q1667648) (← links)
• Robust control for signal temporal logic specifications using discrete average space robustness (Q1737745) (← links)
• TeLEx: learning signal temporal logic from positive examples using tightness metric (Q2008282) (← links)
• A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
• Algebraic quantitative semantics for efficient online temporal monitoring (Q2044210) (← links)
• Sampling polynomial trajectories for LTL verification (Q2055964) (← links)
• Funnel control for fully actuated systems under a fragment of signal temporal logic specifications (Q2061223) (← links)
• Survey on mining signal temporal logic specifications (Q2105443) (← links)
• An STL-based formulation of resilience in cyber-physical systems (Q2112110) (← links)
• MITL verification under timing uncertainty (Q2112111) (← links)
• Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657) (← links)
• Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
• Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (Q2238218) (← links)
• Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks (Q2280776) (← links)
• System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
• Unwinding biological systems (Q2348024) (← links)
• A fuzzy real-time temporal logic (Q2353964) (← links)
• Combining refinement and signal-temporal logic for biological systems (Q2364692) (← links)
• Model measuring for discrete and hybrid systems (Q2374564) (← links)
• Robust online monitoring of signal temporal logic (Q2402548) (← links)
• A logic of behaviour in context (Q2453209) (← links)
• STL*: extending signal temporal logic with signal-value freezing operator (Q2453214) (← links)
• Monitoring bounded LTL properties using interval analysis (Q2520682) (← links)
• Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
• Robust, expressive, and quantitative linear temporal logics: pick any two for free (Q2672232) (← links)
• Crossing the Bridge between Similar Games (Q3172850) (← links)
• (Q4553288) (← links)
• (Q5020519) (← links)
• (Q5089282) (← links)
• Quantifying conformance using the Skorokhod metric (Q5892423) (← links)
• Dirichlet is natural (Q5971396) (← links)
• Generative abstraction of Markov population processes (Q6052704) (← links)
• A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)
• A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics (Q6144018) (← links)
• Model predictive monitoring of dynamical systems for signal temporal logic specifications (Q6152567) (← links)
• Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo tree search (Q6161477) (← links)
• Assured learning-enabled autonomy: a metacognitive reinforcement learning framework (Q6495305) (← links)
• Dynamic event-triggered prescribed performance control for nonlinear systems with signal temporal logic (Q6496264) (← links)
• Monitoring algorithmic fairness (Q6535545) (← links)
• Online causation monitoring of signal temporal logic (Q6535627) (← links)
• Robust alternating-time temporal logic (Q6545584) (← links)
• Robust satisfaction of metric interval temporal logic objectives in adversarial environments (Q6555607) (← links)
• Mining of extended signal temporal logic specifications with ParetoLib 2.0 (Q6564179) (← links)
• Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots (Q6591191) (← links)
• Artificial intelligence in biological modelling (Q6602271) (← links)
• A computable and compositional semantics for hybrid systems (Q6614877) (← links)