Alert button
Picture for Rupak Majumdar

Rupak Majumdar

Alert button

Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery

Mar 02, 2024
Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik

Figure 1 for Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery
Figure 2 for Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery
Figure 3 for Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery
Figure 4 for Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery
Viaarxiv icon

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete

Sep 01, 2023
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya

Figure 1 for Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
Figure 2 for Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
Figure 3 for Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
Figure 4 for Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
Viaarxiv icon

Markov Decision Processes with Time-Varying Geometric Discounting

Jul 19, 2023
Jiarui Gan, Annika Hennes, Rupak Majumdar, Debmalya Mandal, Goran Radanovic

Figure 1 for Markov Decision Processes with Time-Varying Geometric Discounting
Figure 2 for Markov Decision Processes with Time-Varying Geometric Discounting
Figure 3 for Markov Decision Processes with Time-Varying Geometric Discounting
Viaarxiv icon

Neural Abstraction-Based Controller Synthesis and Deployment

Jul 07, 2023
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani

Viaarxiv icon

Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors

Jun 30, 2023
Tung Phung, Victor-Alexandru Pădurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares

Figure 1 for Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors
Figure 2 for Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors
Figure 3 for Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors
Figure 4 for Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors
Viaarxiv icon

Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning

Jun 06, 2023
Jiarui Gan, Rupak Majumdar, Debmalya Mandal, Goran Radanovic

Viaarxiv icon

Online Reinforcement Learning with Uncertain Episode Lengths

Feb 07, 2023
Debmalya Mandal, Goran Radanovic, Jiarui Gan, Adish Singla, Rupak Majumdar

Figure 1 for Online Reinforcement Learning with Uncertain Episode Lengths
Viaarxiv icon

Multiparty Motion Coordination: From Choreographies to Robotics Programs

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

Figure 1 for Multiparty Motion Coordination: From Choreographies to Robotics Programs
Figure 2 for Multiparty Motion Coordination: From Choreographies to Robotics Programs
Figure 3 for Multiparty Motion Coordination: From Choreographies to Robotics Programs
Figure 4 for Multiparty Motion Coordination: From Choreographies to Robotics Programs
Viaarxiv icon

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

Figure 1 for Joint Inference of Reward Machines and Policies for Reinforcement Learning
Figure 2 for Joint Inference of Reward Machines and Policies for Reinforcement Learning
Figure 3 for Joint Inference of Reward Machines and Policies for Reinforcement Learning
Figure 4 for Joint Inference of Reward Machines and Policies for Reinforcement Learning
Viaarxiv icon