Sadegh Soudjani

Newcastle University, Max Planck Institute for Software Systems

Papers

Total Citations

H-Index

About

Sadegh Soudjani is a researcher specializing in formal methods, stochastic systems, and automated controller synthesis, with a particular focus on developing rigorous, scalable tools for safety-critical applications. His most notable contribution is AMYTISS, a parallelized C++/OpenCL software tool for designing correct-by-construction controllers for large-scale discrete-time stochastic systems. By leveraging finite Markov decision processes (MDPs) as finite abstractions, AMYTISS addresses the computational challenges inherent in controlling complex systems such as traffic networks and autonomous vehicles — work that has garnered 12 combined citations across its publications since 2020. Soudjani has also made significant contributions to reward optimization in dynamic environments through his development of Reward Collecting Markov Processes, a mathematical framework tailored to robotics applications where autonomous systems must respond to stochastic demands in continuous space. This 2017 work, with 6 citations, demonstrates his broader commitment to bridging theoretical probabilistic modeling with real-world control challenges. Together, his research advances the frontier of verified, high-performance controller design, offering tools and frameworks that are increasingly relevant as autonomous and cyber-physical systems become central to modern engineering.