Author of the publication

Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints.

, , and . ACC, page 3461-3466. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints., , and . IEEE Control. Syst. Lett., (2022)Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints., , and . CoRR, (2020)Spatial-Temporal pattern Synthesis in a Network of Locally Interacting Cells., , , , , and . CDC, page 3516-3521. IEEE, (2018)Specifying User Preferences using Weighted Signal Temporal Logic., , and . ACC, page 4900-4905. IEEE, (2021)Consensus of multi-agent systems with double-integrator dynamics in the presence of moving obstacles., , and . CCA, page 1817-1822. IEEE, (2015)Average-based Robustness for Continuous-Time Signal Temporal Logic., , and . CDC, page 5312-5317. IEEE, (2019)Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges., , , and . Autom., (June 2023)Rule-based Evaluation and Optimal Control for Autonomous Driving., , , , , , and . CoRR, (2021)Towards learning-based planning: The nuPlan benchmark for real-world autonomous driving., , , , , , , , , and 1 other author(s). CoRR, (2024)Specifying User Preferences using Weighted Signal Temporal Logic., , and . CoRR, (2020)