Rupak Majumdar
- Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors
2023/06/29 by Tung Phung, Phung, Tung, Victor-Alexandru Pădurean +13 · 15 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computers and Society (cs.CY) #FOS: Computer and information sciences #Machine Learning and Data Classification #Online Learning and Analytics #Software Engineering Research
- Symbolic control of stochastic systems via approximately bisimilar\n finite abstractions
2013/02/15 by Majid Zamani, Zamani, Majid, Peyman Mohajerin Esfahani +7 · 7 citations
Computer Science · Engineering · #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- Joint Inference of Reward Machines and Policies for Reinforcement Learning
2019/09/12 by Zhe Xu, Ivan Gavran, Xu, Zhe +11 · 7 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning and Algorithms #Receptor Mechanisms and Signaling #Reinforcement Learning in Robotics
- Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models
2023/01/24 by Tung Phung, Phung, Tung, José Cambronero +11 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Software Engineering Techniques and Practices #Software Testing and Debugging Techniques
- From Verification to Causality-based Explications
2021/05/20 by Christel Baier, Baier, Christel, Clemens Dubslaff +11 · 5 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms
- Fair Termination for Parameterized Probabilistic Concurrent Systems\n (Technical Report)
2017/10/29 by Ondřej Lengál, Anthony W. Lin, Lengal, Ondrej +5 · 3 citations
Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Parallel #and Cluster Computing (cs.DC)
- Shrinking Horizon Model Predictive Control with Signal Temporal Logic\n Constraints under Stochastic Disturbances
2017/05/05 by Samira S. Farahani, Farahani, Samira S., Rupak Majumdar +5 · 3 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Microbial Metabolic Engineering and Bioproduction #Optimization and Control (math.OC) #Probability (math.PR) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Cause Clue Clauses: Error Localization using Maximum Satisfiability
2010/11/06 by Manu Jose, Rupak Majumdar, Jose, Manu +1 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Symbolic Control for Stochastic Systems via Finite Parity Games
2021/01/04 by Rupak Majumdar, Kaushik Mallik, Majumdar, Rupak +5 · 4 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #G.3 #I.1.2 #I.1.4 #Logic in Computer Science (cs.LO) #Software Engineering Research #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- Bayesian Persuasion in Sequential Decision-Making
2021/06/09 by Jiarui Gan, Gan, Jiarui, Rupak Majumdar +5 · 3 citations
Decision Sciences · #Auction Theory and Applications #Computer Science and Game Theory (cs.GT) #Decision-Making and Behavioral Economics #FOS: Computer and information sciences #Game Theory and Applications
- Paracosm: A Language and Tool for Testing Autonomous Driving Systems
2019/02/04 by Rupak Majumdar, Majumdar, Rupak, Aman Mathur +7 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- Backstepping controller synthesis and characterizations of incremental\n stability
2012/06/29 by Majid Zamani, Nathan van de Wouw, Zamani, Majid +3 · 1 citation
Computer Science · Engineering · #Formal Methods in Verification #Control and Stability of Dynamical Systems #Petri Nets in System Modeling
- Unary Pushdown Automata and Straight-Line Programs
2014/03/03 by Dmitry Chistikov, Rupak Majumdar, Chistikov, Dmitry +1 · 1 citation
Computer Science · #semigroups and automata theory #Formal Methods in Verification #Natural Language Processing Techniques
- Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game
2020/07/03 by Rupak Majumdar, Majumdar, Rupak, Anne-Kathrin Schmuck +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Quadratic Word Equations with Length Constraints, Counter Systems, and\n Presburger Arithmetic with Divisibility
2018/05/17 by Anthony W. Lin, Rupak Majumdar, Lin, Anthony W. +1 · 1 citation
Computer Science · Social Sciences · #Natural Language Processing Techniques #semigroups and automata theory #Basque language and culture studies
- Automatic predicate abstraction of C programs
2001/05/01 by Thomas Ball, Rupak Majumdar, Todd Millstein +1 · 1 citation
Computer Science · #Formal Methods in Verification #Security and Verification in Computing #Software Testing and Debugging Techniques
- Positive Almost-Sure Termination -- Complexity and Proof Rules
2023/10/24 by Rupak Majumdar, V. R. Sathiyanarayana, Majumdar, Rupak +1 · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
- Rabin Games and Colourful Universal Trees
2024/01/15 by Rupak Majumdar, Irmak Sağlam, Majumdar, Rupak +3 · 1 citation
Computer Science · Psychology · Economics, Econometrics and Finance · #Artificial Intelligence in Games #Gambling Behavior and Treatments #Game Theory and Voting Systems