弱教師付き関係抽出のための表現学習

efficient-video-diffusion-models-for-generation-quality-improvement

transformerを使用した顕著物体検出におけるグローバル-ローカル表現の統一

deep-learning-for-trajectory-data-management-and-mining-a-comprehensive-review

single-sample-prophet-inequalities-via-greedy-ordered-selection-algorithm-and-analysis

lr-fhss-transceiver-for-direct-to-satellite-iot-communications-design-implementation-and-verification

dcvnet-dilated-cost-volume-networks-for-fast-optical-flow

policy-mirror-descent-with-lookahead-a-novel-algorithmic-framework-for-reinforcement-learning


This work develops a direct data-driven approach to automatically synthesize a controller for linear systems that satisfies a given signal temporal logic specification, without requiring an explicit model of the system.


coremsg

direct-data-driven-control-synthesis-for-linear-systems-with-signal-temporal-logic-specifications


Direct Data-Driven Control Synthesis for Linear Systems with Signal Temporal Logic Specifications


title_rewrite

Data-driven control synthesis for temporal logic specifications