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.

Stability and stabilization of polynomial dynamical systems using Bernstein polynomials: Label: en
Cross-entropy temporal logic motion planning: Label: en
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games: Label: en
Estimator-based reactive synthesis under incomplete information: Label: en
Reactive synthesis from signal temporal logic specifications: Label: en
Temporal logic motion planning using POMDPs with parity objectives: Label: en
Vulnerability analysis of dynamical power networks to stochastic link failure attacks: Label: en
First steps toward formal controller synthesis for bipedal robots: Label: en
Computing the Skorokhod distance between polygonal traces: Label: en
SpaTeL: Label: en
Requirements for hybrid cosimulation standards: Label: en
Statistical verification of dynamical systems using set oriented methods: Label: en
Finite state approximation for verification of partially observable stochastic hybrid systems: Label: en
Eliminating spurious transitions in reachability with support functions: Label: en
A delta-sampling verification theorem for discrete-time, possibly discontinuous systems: Label: en
ProbReach: Label: en
HYST: Label: en
Real-time control under clock offsets between sensors and controllers: Label: en
Closed loop analysis of control command software: Label: en
Dynamic scheduling for networked control systems: Label: en
Probabilistic diagnosability of hybrid systems: Label: en
Computing bisimulation functions using SOS optimization and δ -decidability over the reals: Label: en
Compositional construction of approximate abstractions: Label: en
Efficient finite abstraction of mixed monotone systems: Label: en
A sufficient condition for the boundedness of matrix products accepted by an automaton: Label: en
Bounded-rate multi-mode systems based motion planning: Label: en
What's decidable about recursive hybrid automata?: Label: en
An improved algorithm for robust safety analysis of sampled data systems: Label: en
Reach-avoid problems with time-varying dynamics, targets and constraints: Label: en
A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars: Label: en