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 Rupak Majumdar

Multiparty Motion Coordination: From Choreographies to Robotics Programs


Oct 12, 2020
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey

* Full version of OOPSLA 2020 Paper 

  Access Paper or Ask Questions

Joint Inference of Reward Machines and Policies for Reinforcement Learning


Sep 12, 2019
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu


  Access Paper or Ask Questions

Perception-in-the-Loop Adversarial Examples


Jan 21, 2019
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar

* 13 pages, 13 figures, 6 tables 

  Access Paper or Ask Questions

Precise but Natural Specification for Robot Tasks


Sep 20, 2018
Ivan Gavran, Brendon Boldt, Eva Darulova, Rupak Majumdar


  Access Paper or Ask Questions

Approximate Counting in SMT and Value Estimation for Probabilistic Programs


Oct 29, 2015
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar


  Access Paper or Ask Questions

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System


Oct 29, 2015
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

* A formal version of the accepted AAAI '14 paper 

  Access Paper or Ask Questions

Counterexample-guided Planning


Jul 04, 2012
Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

* Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005) 

  Access Paper or Ask Questions