Related references
Note: Only part of the references are listed.Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints
Wenliang Liu et al.
IEEE CONTROL SYSTEMS LETTERS (2022)
Learning From Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains
Aniruddh Gopinath Puranic et al.
IEEE ROBOTICS AND AUTOMATION LETTERS (2021)
Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach
Shakiba Yaghoubi et al.
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2019)
Structured Reward Shaping using Signal Temporal Logic specifications
Anand Balakrishnan et al.
2019 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS) (2019)