pith. sign in

Rupak Majumdar

Identifiers

  • name variant Rupak Majumdar 0.60 · backfill

Papers (50)

  1. Kernel-Based Safe Exploration in Deep Reinforcement Learning eess.SY · 2026 · author #1
  2. Almost Sure Reachability in Continuous-time Stochastic Systems eess.SY · 2026 · author #2
  3. State Space Estimation for DPOR-based Model Checkers(Extended Version) cs.PL · 2025 · author #3
  4. Environmentally-friendly GR(1) Synthesis cs.LO · 2019 · author #1
  5. Verification of Immediate Observation Population Protocols cs.LO · 2018 · author #3
  6. Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility cs.LO · 2018 · author #2
  7. Lazy Abstraction-Based Controller Synthesis eess.SY · 2018 · author #2
  8. Lazy Abstraction-Based Control for Safety Specifications cs.SY · 2018 · author #2
  9. Precise but Natural Specification for Robot Tasks cs.RO · 2018 · author #4
  10. Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report) cs.LO · 2017 · author #3
  11. Parameter Optimization in Control Software using Statistical Fault Localization Techniques cs.SY · 2017 · author #3
  12. Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems cs.SY · 2017 · author #3
  13. Compositional Construction of Finite State Abstractions for Stochastic Control Systems cs.SY · 2017 · author #4
  14. Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems cs.SY · 2017 · author #2
  15. Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances cs.SY · 2017 · author #2
  16. The Robot Routing Problem for Collecting Aggregate Stochastic Rewards cs.SY · 2017 · author #3
  17. Compositional Abstraction-Based Controller Synthesis for Continuous-Time Systems cs.SY · 2016 · author #4
  18. Hitting Families of Schedules for Asynchronous Programs cs.DM · 2016 · author #2
  19. Computing Distances between Reach Flowpipes cs.SY · 2016 · author #1
  20. Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System cs.AI · 2015 · author #3
  21. Dynamic Hierarchical Reactive Controller Synthesis cs.SY · 2015 · author #2
  22. Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs cs.FL · 2015 · author #2
  23. Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes cs.SY · 2015 · author #3
  24. Model Checking Parameterized Asynchronous Shared-Memory Systems cs.DC · 2015 · author #4
  25. Quantifying Conformance using the Skorokhod Metric (full version) cs.SY · 2015 · author #2
  26. Approximate Counting in SMT and Value Estimation for Probabilistic Programs cs.LO · 2014 · author #3
  27. Computing the Skorokhod Distance between Polygonal Traces (Full Paper) cs.SY · 2014 · author #1
  28. Unary Pushdown Automata and Straight-Line Programs cs.FL · 2014 · author #2
  29. Dynamic Package Interfaces - Extended Version cs.SE · 2013 · author #2
  30. A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages cs.SE · 2013 · author #2
  31. A Theory of Partitioned Global Address Spaces cs.LO · 2013 · author #3
  32. Parameterized Verification of Asynchronous Shared-Memory Systems cs.LO · 2013 · author #3
  33. Symbolic control of stochastic systems via approximately bisimilar finite abstractions math.OC · 2013 · author #3
  34. Incremental, Inductive Coverability cs.LO · 2013 · author #2
  35. Counterexample-guided Planning cs.AI · 2012 · author #4
  36. Backstepping controller synthesis and characterizations of incremental stability math.OC · 2012 · author #3
  37. Synthesis of Minimal Error Control Software cs.SY · 2012 · author #1
  38. Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games cs.GT · 2012 · author #3
  39. A Perfect Model for Bounded Verification cs.FL · 2012 · author #3
  40. A theory of robust software synthesis cs.SY · 2011 · author #1
  41. Coordinate-invariant incremental Lyapunov functions math.OC · 2011 · author #2
  42. Cause Clue Clauses: Error Localization using Maximum Satisfiability cs.PL · 2010 · author #2
  43. Algorithmic Verification of Asynchronous Programs cs.LO · 2010 · author #2
  44. Safety-Guarantee Controller Synthesis for Cyber-Physical Systems cs.LO · 2010 · author #3
  45. HMC: Verifying Functional Programs Using Abstract Interpreters cs.PL · 2010 · author #2
  46. Bounded Underapproximations cs.LO · 2008 · author #2
  47. Game Refinement Relations and Metrics cs.LO · 2008 · author #2
  48. Stochastic Limit-Average Games are in EXPTIME cs.GT · 2008 · author #2
  49. The Complexity of Coverage cs.PL · 2008 · author #3
  50. A Classification of Symbolic Transition Systems cs.LO · 2001 · author #2

Mentions

  • 1510.08525 #3 · backfill · confidence 0.70 Rupak Majumdar
  • 1509.07202 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 1804.02722 #2 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1804.02666 #2 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1803.02238 #4 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1710.02073 #3 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1709.10312 #3 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1709.09546 #4 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1706.08270 #2 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1705.02152 #2 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1704.05303 #3 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1612.08515 #4 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1602.03266 #1 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1510.07246 #2 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1507.00509 #3 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1505.05832 #2 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1410.6075 #1 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1507.00509 #3 · backfill · confidence 0.70 Rupak Majumdar
  • 1302.3868 #3 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1204.2857 #1 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1108.3540 #1 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1107.2681 #2 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1505.06588 #4 · backfill · confidence 0.70 Rupak Majumdar
  • 1505.05832 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 1411.0659 #3 · backfill · confidence 0.70 Rupak Majumdar
  • 1410.6075 #1 · backfill · confidence 0.70 Rupak Majumdar
  • 1403.0509 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 1311.4934 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 1311.4615 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 1307.6590 #3 · backfill · confidence 0.70 Rupak Majumdar
  • 1304.1185 #3 · backfill · confidence 0.70 Rupak Majumdar
  • 1302.3868 #3 · backfill · confidence 0.70 Rupak Majumdar
  • 1301.7321 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 1207.1373 #4 · backfill · confidence 0.70 Rupak Majumdar
  • 1207.0030 #3 · backfill · confidence 0.70 Rupak Majumdar
  • 1204.2857 #1 · backfill · confidence 0.70 Rupak Majumdar
  • 1202.4140 #3 · backfill · confidence 0.70 Rupak Majumdar
  • 1201.3194 #3 · backfill · confidence 0.70 Rupak Majumdar
  • 2605.22207 #1 · arxiv_oai · confidence 0.70 Rupak Majumdar
  • 1108.3540 #1 · backfill · confidence 0.70 Rupak Majumdar
  • 1107.2681 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 1011.1589 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 1011.0551 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 1010.5665 #3 · backfill · confidence 0.70 Rupak Majumdar
  • 1004.2884 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 0809.1236 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 0806.4956 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 0805.2622 #2 · backfill · confidence 0.70 Rupak Majumdar
  • 0804.4525 #3 · backfill · confidence 0.70 Rupak Majumdar

Frequent Coauthors