Pages that link to "Item:Q732015"

The following pages link to Robustness of temporal logic specifications for continuous-time signals (Q732015):

Displaying 40 items.

• Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
• Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
• Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← 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)
• 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)
• Adaptive testing for specification coverage and refinement in CPS models (Q2085163) (← links)
• Risk verification of stochastic systems with neural network controllers (Q2093383) (← links)
• Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
• Survey on mining signal temporal logic specifications (Q2105443) (← 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)
• An automated system repair framework with signal temporal logic (Q2139184) (← links)
• Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions (Q2178216) (← links)
• Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
• Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
• Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks (Q2280776) (← links)
• Towards physical hybrid systems (Q2305415) (← 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)
• Model measuring for discrete and hybrid systems (Q2374564) (← links)
• Robust online monitoring of signal temporal logic (Q2402548) (← 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)
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (Q3000653) (← links)
• Crossing the Bridge between Similar Games (Q3172850) (← links)
• Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
• (Q5089282) (← links)
• Specifiable robustness in reactive synthesis (Q6102166) (← links)
• From LTL to rLTL monitoring: improved monitorability through robust semantics (Q6108436) (← links)
• A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← 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)