Picture for Shigemasa Takai

Shigemasa Takai

Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks

Add code
Dec 10, 2022
Viaarxiv icon