5 citations · 11 across the 8 of their papers we have counts for
5 papers · 1 filter
Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani
This paper presents a step towards a formal controller design method for autonomous agents based on knowledge awareness to improve decision-making. Our approach is to first create…
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…
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…
A Lyapunov Approach for Time Bounded Reachability of CTMCs and CTMDPs
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
Time bounded reachability is a fundamental problem in model checking continuous-time Markov chains (CTMCs) and Markov decision processes (CTMDPs) for specifications in continuous s…