Researcher Portfolio

 
   

Soudjani, Sadegh

Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, Group S. Soudjani, Max Planck Institute for Software Systems, Max Planck Society  

 

Researcher Profile

 
Position: Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society
Position: Group S. Soudjani, Max Planck Institute for Software Systems, Max Planck Society
Researcher ID: https://pure.mpg.de/cone/persons/resource/persons144805

External references

 
WorldCat Search for Soudjani, Sadegh
Google Scholar Search for Soudjani, Sadegh

Publications

 
  (1 - 25 of 27)
 : Bahari Kordabad, A., Majumdar, R., Motwani, H. J., & Soudjani, S. (2025). On Certificates for Almost Sure Reachability in Stochastic Systems. doi:10.48550/arXiv.2507.20194. [PubMan] : Isaacs, R., Alvaro, P., Majumdar, R., Muniswamy-Reddy, K.-K., Salamati, M., & Soudjani, S. (2025). Analyzing Metastable Failures. In Proceedings of the 2025 Workshop on Hot Topics in Operating Systems (pp. 172-178). New York, NY: AMC. doi:10.1145/3713082.3730380. [PubMan] : Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. In C. Enea, & A. Lal (Eds.), Computer Aided Verification (pp. 3-15). Berlin: Springer. doi:10.1007/978-3-031-37709-9_1. [PubMan] : Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). Poster Abstract: A Toolchain for Accelerated Symbolic Control. In HSCC 2023 (pp. 1-2). New York, NY: ACM. doi:10.1145/3575870.3589554. [PubMan] : Kazemi, M., Majumdar, R., Salamati, M., Soudjani, S., & Wooding, B. (2022). Data-Driven Abstraction-Based Control Synthesis. Retrieved from https://arxiv.org/abs/2206.08069. [PubMan] : Majumdar, R., & Soudjani, S. (2021). The Computability of LQR and LQG Control. In HSCC2021 (pp. 1-7). New York, NY: ACM. doi:10.1145/3447928.3456634. [PubMan] : Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2021). Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. IFAC-PapersOnLine, 54(5), 127-132. doi:10.1016/j.ifacol.2021.08.486. [PubMan] : Majumdar, R., Mallik, K., Salamati, M., Soudjani, S., & Zareian, M. (2021). Symbolic Reach-Avoid Control of Multi-Agent Systems. In ICCPS '21 (pp. 209-220). New York, NY: ACM. doi:10.1145/3450267.3450548. [PubMan] : D'Costa, J., Karimov, T., Majumdar, R., Ouaknine, J., Salamati, M., Soudjani, S., & Worrell, J. (2021). The Pseudo-Skolem Problem is Decidable. In F. Bonchi, & S. J. Puglisi (Eds.), 46th International Symposium on Mathematical Foundations of Computer Science (pp. 1-21). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.MFCS.2021.34. [PubMan] : Salamati, M., Soudjani, S., & Majumdar, R. (2020). A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs. ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 5(1): 2. doi:10.1145/3371923. [PubMan] : Majumdar, R., Mallik, K., & Soudjani, S. (2020). Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems. In HSCC2020 (pp. 1-11). New York, NY: ACM. doi:10.1145/3365365.3382214. [PubMan] : Majumdar, R., Salamati, M., & Soudjani, S. (2020). On Decidability of Time-Bounded Reachability in CTMDPs. In A. Czumaj, A. Dawar, & E. Merelli (Eds.), 47th International Colloquium on Automata, Languages, and Programming (pp. 1-19). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ICALP.2020.133. [PubMan] : Mallik, K., Schmuck, A.-K., Soudjani, S., & Majumdar, R. (2019). Compositional Synthesis of Finite-State Abstractions. IEEE Transactions on Automatic Control, 64(6), 2629-2636. doi:10.1109/TAC.2018.2869740. [PubMan] : Farahani, S. S., Majumdar, R., Prabhu, V., & Soudjani, S. (2019). Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances. IEEE Transactions on Automatic Control, 64(8), 3324-3331. doi:10.1109/TAC.2018.2880651. [PubMan] : Soudjani, S., & Majumdar, R. (2018). Concentration of Measure for Chance-Constrained Optimization. IFAC-PapersOnLine, 51(16), 277-282. doi:10.1016/j.ifacol.2018.08.047. [PubMan] : Salamati, M., Soudjani, S., & Majumdar, R. (2018). Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. In A. McIver, & A. Horvath (Eds.), Quantitative Evaluation of Systems (pp. 389-406). Berlin: Springer. doi:10.1007/978-3-319-99154-2_24. [PubMan] : Dimitrova, R., Gavran, I., Majumdar, R., Prabhu, V., & Soudjani, S. (2017). The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. Retrieved from http://arxiv.org/abs/1704.05303. [PubMan] : Mallik, K., Soudjani, S., Schmuck, A.-K., & Majumdar, R. (2017). Compositional Construction of Finite State Abstractions for Stochastic Control Systems. In IEEE 56th Annual Conference on Decision and Control (pp. 550-557). Piscataway, NJ: IEEE. doi:10.1109/CDC.2017.8263720. [PubMan] : Mallik, K., Soudjani, S., Schmuck, A.-K., & Majumdar, R. (2017). Compositional Construction of Finite State Abstractions for Stochastic Control Systems. Retrieved from http://arxiv.org/abs/1709.09546. [PubMan] : Dimitrova, R., Gavran, I., Majumdar, R., Prabhu, V., & Soudjani, S. (2017). The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. In R. Meyer, & U. Nestmann (Eds.), 28th International Conference on Concurrency Theory (pp. 1-17). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.CONCUR.2017.13. [PubMan] : Soudjani, S., Majumdar, R., & Nagapetyan, T. (2017). Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. In N. Bertrand, & L. Bortolussi (Eds.), Quantitative Evaluation of Systems (pp. 351-367). Berlin: Springer. doi:10.1007/978-3-319-66335-7_24. [PubMan] : Farahani, S. S., Majumdar, R., Prabhu, V., & Soudjani, S. (2017). Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. Retrieved from http://arxiv.org/abs/1705.02152. [PubMan] : Lavaei, A., Soudjani, S., Majumdar, R., & Zamani, M. (2017). Compositional Abstractions of Interconnected Discrete-time Stochastic Control Systems. In IEEE 56th Annual Conference on Decision and Control (pp. 3551-3556). Piscataway, NJ: IEEE. doi:10.1109/CDC.2017.8264180. [PubMan] : Soudjani, S., & Majumdar, R. (2017). Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. In HSCC'17 (pp. 45-54). New York, NY: ACM. doi:10.1145/3049797.3049827. [PubMan] : Lavaei, A., Soudjani, S., Majumdar, R., & Zamani, M. (2017). Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. Retrieved from http://arxiv.org/abs/1709.10312. [PubMan]