Scaling Learning based Policy Optimization for Temporal Tasks via
Dropout

Scaling Learning based Policy Optimization for Temporal Tasks via Dropout

23 March 2024

Danil Prokhorov

Georgios Fainekos

Jyotirmoy Deshmukh

Papers citing "Scaling Learning based Policy Optimization for Temporal Tasks via Dropout"

13 / 13 papers shown

Title
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 39 8 0 07 Mar 2023
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives Navid Hashemi Xin Qin Jyotirmoy V. Deshmukh Georgios Fainekos Bardh Hoxha Danil Prokhorov Tomoya Yamaguchi 57 9 0 14 Oct 2022
The Effects of Reward Misspecification: Mapping and Mitigating Misaligned Models Alexander Pan Kush S. Bhatia Jacob Steinhardt 73 178 0 10 Jan 2022
Learning to be Safe: Deep RL with a Safety Critic K. Srinivasan Benjamin Eysenbach Sehoon Ha Jie Tan Chelsea Finn OffRL 70 144 0 27 Oct 2020
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints Wenliang Liu N. Mehdipour C. Belta 37 47 0 24 Sep 2020
Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods Karen Leung Nikos Arechiga Marco Pavone 40 92 0 31 Jul 2020
A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control Yann Gilpin Vince Kurtz Hai Lin 40 90 0 09 Jun 2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Abolfazl Lavaei Fabio Somenzi Sadegh Soudjani Ashutosh Trivedi Majid Zamani 101 53 0 02 Mar 2020
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives E. M. Hahn Mateo Perez S. Schewe Fabio Somenzi Ashutosh Trivedi D. Wojtczak OffRL AI4CE 127 5 0 16 Jan 2020
Gray-box Adversarial Testing for Control Systems with Machine Learning Component Shakiba Yaghoubi Georgios Fainekos AAML 45 65 0 31 Dec 2018
A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks Xiao Li Yao Ma C. Belta 47 59 0 27 Sep 2017
Layer Normalization Jimmy Lei Ba J. Kiros Geoffrey E. Hinton 336 10,467 0 21 Jul 2016
Deep Networks with Stochastic Depth Gao Huang Yu Sun Zhuang Liu Daniel Sedra Kilian Q. Weinberger 189 2,352 0 30 Mar 2016