Pages that link to "Item:Q2988945"

The following pages link to Reactive synthesis from signal temporal logic specifications (Q2988945):

Displaying 17 items.

• Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
• On the timed temporal logic planning of coupled multi-agent systems (Q1716548) (← links)
• Robust control for signal temporal logic specifications using discrete average space robustness (Q1737745) (← links)
• Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach (Q1797058) (← links)
• A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
• Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
• Funnel control for fully actuated systems under a fragment of signal temporal logic specifications (Q2061223) (← 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)
• Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks (Q2280776) (← links)
• A symbolic algorithm for lazy synthesis of eager strategies (Q2303874) (← links)
• Trajectory planning under environmental uncertainty with finite-sample safety guarantees (Q2665401) (← links)
• Data-driven verification of stochastic linear systems with signal temporal logic constraints (Q2665419) (← links)
• Accelerating parameter synthesis using semi-algebraic constraints (Q6536345) (← links)
• Realizability modulo theories (Q6561346) (← links)