Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Jyotirmoy Deshmukh

Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning


Oct 30, 2019
Xin Qin, Nikos Aréchiga, Andrew Best, Jyotirmoy Deshmukh


  Access Paper or Ask Questions

Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning


Oct 03, 2019
Kolby Nottingham, Anand Balakrishnan, Jyotirmoy Deshmukh, Connor Christopherson, David Wingate


  Access Paper or Ask Questions

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems


Aug 15, 2019
Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang


  Access Paper or Ask Questions