☰

Rupak Majumdar

Affiliations: 
Computer Science University of California, Los Angeles, Los Angeles, CA 
Area:
formal verification and control of systems; software verification and programming languages; game theoretic problems in verification; logic and automata theory
Google:
"Rupak Majumdar"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Jeffrey M. Fischer grad student 2008 UCLA
Ru-Gang Xu grad student 2009 UCLA
Michael J. Emmi grad student 2010 UCLA
Rafit Izhak-Ratzin grad student 2010 UCLA
Indranil Saha grad student 2013 UCLA

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Schmuck A, Moor T, Majumdar R. (2020) On the relation between reactive synthesis and supervisory control of non-terminating processes Discrete Event Dynamic Systems. 30: 81-124
Farahani SS, Majumdar R, Prabhu VS, et al. (2019) Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances Ieee Transactions On Automatic Control. 64: 3324-3331
Mallik K, Schmuck A, Soudjani S, et al. (2019) Compositional Synthesis of Finite-State Abstractions Ieee Transactions On Automatic Control. 64: 2629-2636
Farahani SS, Soudjani SEZ, Majumdar R, et al. (2018) Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study Journal of Process Control. 69: 179-191
Soudjani S, Majumdar R. (2018) Concentration of Measure for Chance-Constrained Optimization Ifac-Papersonline. 51: 277-282
Schmuck A, Moor T, Majumdar R. (2018) On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours Ifac-Papersonline. 51: 31-38
Dimitrova R, Majumdar R. (2018) Reachability analysis of reversal-bounded automata on series–parallel graphs Acta Informatica. 55: 100-114
Deshmukh J, Horvat M, Jin X, et al. (2017) Testing Cyber-Physical Systems through Bayesian Optimization Acm Transactions in Embedded Computing Systems. 16: 170
Gavran I, Majumdar R, Saha I. (2017) Antlab: A Multi-Robot Task Server Acm Transactions in Embedded Computing Systems. 16: 190
Farahani SS, Soudjani SEZ, Majumdar R, et al. (2017) Robust model predictive control with signal temporal logic constraints for Barcelona wastewater system Ifac-Papersonline. 50: 6594-6600
See more...