Skip to content
conftrace_

reward synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

feedback controller (1) signal temporal logic (1) controller synthesis (1) cyber-physical system (1) reward function (1) formal methods (1) reinforcement learning (1) deep reinforcement learning (1)

Papers

STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning AAAI 2023