Sadegh Soudjani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
15
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems. | Ernesto Casablanca, Oliver Schn, Paolo Zuliani, Sadegh Soudjani |
| 2026 | AAAI | Incremental Data-Driven Policy Synthesis via Game Abstractions. | Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck |
| 2025 | HotOS | Analyzing Metastable Failures. | Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani |
| 2025 | HPDC | High-level quantum algorithm programming using Silq. | Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani |
| 2025 | ICML | Regret-Free Reinforcement Learning for Temporal Logic Specifications. | Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani |
| 2025 | SMC | Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces. | Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani |
| 2025 | RO-MAN | Blending Participatory Design and Artificial Awareness for Trustworthy Autonomous Vehicles. | Ana Tanevska, Ananthapathmanabhan Ratheesh Kumar, Arabinda Ghosh, Ernesto Casablanca, Ginevra Castellano, Sadegh Soudjani |
| 2024 | AAAI | Assume-Guarantee Reinforcement Learning. | Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez |
| 2024 | AISTATS | Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation. | Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani |
| 2023 | CAV | A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. | Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani |
| 2023 | SMC | Using Knowledge Awareness to Improve Safety of Autonomous Driving. | Andrea Calvagna, Arabinda Ghosh, Sadegh Soudjani |
| 2023 | SMC | Barrier Certificates for a Computational Model of Epileptic Seizures. | John F. Ingham, Yujiang Wang, Paolo Zuliani, Sadegh Soudjani |
| 2022 | ISoLA | Data-Driven Reachability Analysis of Digital Twin FMI Models. | Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis |
| 2022 | TACAS | A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. | Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani |
| 2021 | MFCS | The Pseudo-Skolem Problem is Decidable. | Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell |
| 2020 | CAV | AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. | Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani |
| 2020 | ICALP | On Decidability of Time-Bounded Reachability in CTMDPs. | Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani |
| 2020 | IFM | Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. | Milad Kazemi, Sadegh Soudjani |
| 2020 | TrustCom | Cyclic Bayesian Attack Graphs: A Systematic Computational Approach. | Isaac Matthews, John C. Mace, Sadegh Soudjani, Aad van Moorsel |
| 2019 | CAV | Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. | Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani |
| 2018 | ATVA | Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. | Pushpak Jagtap, Sadegh Soudjani, Majid Zamani |