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