Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 30 results in range #1 to #30.

Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games: Label: en
Verification of machine learning based cyber-physical systems: a comparative study: Label: en
SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods: Label: en
ETCetera: beyond Event-Triggered Control: Label: en
ABS: A formally correct software tool for space-efficient symbolic synthesis: Label: en
Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games: Label: en
A Multiresolution Analysis of Temporal Logic: Label: en
Mortality and Edge-to-Edge Reachability are Decidable on Surfaces: Label: en
Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation: Label: en
Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods: Label: en
Stability of discrete-time switched linear systems with ω-regular switching sequences: Label: en
k-Inductive Barrier Certificates for Stochastic Systems: Label: en
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications: Label: en
Temporal Robustness of Stochastic Signals: Label: en
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications: Label: en
Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization: Label: en
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence: Label: en
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.: Label: en
Linear Time Monitoring for One Variable TPTL: Label: en
Multi-Requirement Testing Using Focused Falsification: Label: en
Verifying Neural Network Controlled Systems Using Neural Networks: Label: en
Verifying Switched System Stability With Logic: Label: en
Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis: Label: en
Poster Abstract: Learning from Demonstrations with Temporal Logics: Label: en
Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.: Label: en
Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees*: Label: en
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives: Label: en
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations: Label: en
BOCoSy: Small but Powerful Symbolic Output-Feedback Control: Label: en
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks: Label: en