LB4TL: Smooth Semantics for Temporal Logic for Scalable Training of Neural Feedback Controllers
Date:
This is a presentation where I am discussing our latest research on a novel new smooth semantics for the robustness of Discrete-time Signal Temporal Logics. We have shown noticeable improvement in the scalability for control synthesis.