85 citations · 354 across the 71 of their papers we have counts for
23 papers · 1 filter
Neural Abstraction-Based Controller Synthesis and Deployment
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Abstraction-based techniques are an attractive approach for synthesizing correct-by-construction controllers to satisfy high-level temporal requirements. A main bottleneck for succ…
Data-Driven Abstraction-Based Control Synthesis
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati +2
This paper studies formal synthesis of controllers for continuous-space systems with unknown dynamics to satisfy requirements expressed as linear temporal logic formulas. Formal ab…
Symbolic Control for Stochastic Systems via Finite Parity Games
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck +1
We consider the problem of computing the maximal probability of satisfying an omega-regular specification for stochastic nonlinear systems evolving in discrete time. The problem re…
On Decidability of Time-bounded Reachability in CTMDPs
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
We consider the time-bounded reachability problem for continuous-time Markov decision processes. We show that the problem is decidable subject to Schanuel's conjecture. Our decisio…
On Abstraction-Based Controller Design With Output Feedback
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
We consider abstraction-based design of output-feedback controllers for dynamical systems with a finite set of inputs and outputs against specifications in linear-time temporal log…
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
We consider the policy synthesis problem for continuous-state controlled Markov processes evolving in discrete time, when the specification is given as a Büchi condition (visit a s…