Sadegh Soudjani

ORCID

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 128

Top Venues

CoRR

HSCC

IEEE Trans. Autom. Control.

ADHS

Publications

B. C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani, Sofie Haesaert
Specification-guided temporal logic control for stochastic systems: a multi-layered approach. CoRR (2024)
Arash Bahari Kordabad, Maria Charitidou, Dimos V. Dimarogonas, Sadegh Soudjani
Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks. ECC (2024)
Cosimo Della Santina, Carlos Hernández Corbato, Burak Sisman, Luis A. Leiva, Ioannis Arapakis, Michalis Vakalellis, Jean Vanderdonckt, Luis Fernando D'Haro, Guido Manzi, Cristina Becchio, Aïda Elamrani, Mohsen Alirezaei, Ginevra Castellano, Dimos V. Dimarogonas, Arabinda Ghosh, Sofie Haesaert, Sadegh Soudjani, Sybert Stroeve, Paul F. M. J. Verschure, Davide Bacciu, Ophelia Deroy, Bahador Bahrami, Claudio Gallicchio, Sabine Hauert, Ricardo Sanz, Pablo Lanillos, Giovanni Iacca, Stephan Sigg, Manel Gasulla, Luc Steels, Carles Sierra
Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside". CoRR (2024)
Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness. CoRR (2024)
Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation. CoRR (2024)
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Assume-Guarantee Reinforcement Learning. AAAI (2024)
Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Safe Reach Set Computation via Neural Barrier Certificates. CoRR (2024)
Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification. CoRR (2024)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven verification and synthesis of stochastic systems via barrier certificates. Autom. 159 (2024)
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Automated Verification of Silq Quantum Programs using SMT Solvers. CoRR (2024)
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Temporal Logic Resilience for Dynamical Systems. CoRR (2024)
Andrew Wright, Marco Lewis, Paolo Zuliani, Sadegh Soudjani
T-Count Optimizing Genetic Algorithm for Quantum State Preparation. CoRR (2024)
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings. CoRR (2024)
Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation. AISTATS (2024)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. CoRR (2023)
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
SySCoRe: Synthesis via Stochastic Coupling Relations. CoRR (2023)
Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Trans. Autom. Control. 68 (5) (2023)
John F. Ingham, Yujiang Wang, Paolo Zuliani, Sadegh Soudjani
Barrier Certificates for a Computational Model of Epileptic Seizures. SMC (2023)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
Poster Abstract: A Toolchain for Accelerated Symbolic Control. HSCC (2023)
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach. IEEE Control. Syst. Lett. 7 (2023)
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Neural Abstraction-Based Controller Synthesis and Deployment. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems. IEEE Trans. Autom. Control. 68 (12) (2023)
Vignesh Subramanian, Farzaneh Farhadi, Sadegh Soudjani
Reinforcement Learning for Stochastic Max-Plus Linear Systems. CDC (2023)
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Temporal Logic Resilience for Cyber-Physical Systems. CDC (2023)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Bayesian Approach to Temporal Logic Control of Uncertain Systems. CoRR (2023)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. CDC (2023)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. CAV (3) (2023)
Shahram Yadollahi, Hamed Kebriaei, Sadegh Soudjani
Generalized Stochastic Dynamic Aggregative Game for Demand-Side Management in Microgrids with Shared Battery. CoRR (2023)
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Verification of Quantum Systems using Barrier Certificates. CoRR (2023)
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Neural Abstraction-Based Controller Synthesis and Deployment. CoRR (2023)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
Constructing MDP Abstractions Using Data With Formal Guarantees. IEEE Control. Syst. Lett. 7 (2023)
Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks. CoRR (2023)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱. HSCC (2023)
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani
ARCH-COMP23 Category Report: Stochastic Models. ARCH (2023)
Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab, Sadegh Soudjani
Robust Simulation Functions with Disturbance Refinement. ECC (2023)
Andrea Calvagna, Arabinda Ghosh, Sadegh Soudjani
Using Knowledge Awareness to improve Safety of Autonomous Driving. CoRR (2023)
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Assume-Guarantee Reinforcement Learning. CoRR (2023)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS 2 (2023)
Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach. CoRR (2023)
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
SySCoRe: Synthesis via Stochastic Coupling Relations. HSCC (2023)
Shahram Yadollahi, Hamed Kebriaei, Sadegh Soudjani
Generalized Stochastic Dynamic Aggregative Game for Demand-Side Management in Microgrids With Shared Battery. IEEE Control. Syst. Lett. 7 (2023)
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Verification of Quantum Systems Using Barrier Certificates. QEST (2023)
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. 146 (2022)
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
Data-Driven Abstraction-Based Control Synthesis. CoRR (2022)
Sergiy Bogomolov, John Fitzgerald, Sadegh Soudjani, Paulius Stankaitis
Data-Driven Reachability Analysis of Digital Twin FMI Models. ISoLA (4) (2022)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
Constructing MDP Abstractions Using Data with Formal Guarantees. CoRR (2022)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
Safety Barrier Certificates for Stochastic Hybrid Systems. ACC (2022)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems. Autom. 145 (2022)
Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR (2022)
Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP (2022)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Correct-by-Design Control of Parametric Stochastic Systems. CoRR (2022)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. TACAS (2) (2022)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. CoRR (2022)
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
Safety Barrier Certificates for Stochastic Hybrid Systems. CoRR (2022)
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Correct-by-Design Control of Parametric Stochastic Systems. CDC (2022)
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning. AAMAS (2022)
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Formal Verification of Quantum Programs: Theory, Tools and Challenges. CoRR (2021)
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ADHS (2021)
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR (2021)
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
Formal Multi-Objective Synthesis of Continuous-State MDPs. IEEE Control. Syst. Lett. 5 (5) (2021)
Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. HSCC (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates. CoRR (2021)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Eur. J. Control 57 (2021)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Symbolic Control for Stochastic Systems via Parity Games. CoRR (2021)
Isaac Matthews, Sadegh Soudjani, Aad van Moorsel
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs. SciSec (2021)
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
The Pseudo-Skolem Problem is Decidable. MFCS (2021)
Ali Salamati, Sadegh Soudjani, Majid Zamani
Data-driven verification of stochastic linear systems with signal temporal logic constraints. Autom. 131 (2021)
Ricardo M. Czekster, Charles Morisset, John A. Clark, Sadegh Soudjani, Charalampos Patsios, Peter Davison
Systematic review of features for co-simulating security incidents in Cyber-Physical Systems. Secur. Priv. 4 (3) (2021)
Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian
Symbolic reach-avoid control of multi-agent systems. ICCPS (2021)
Rupak Majumdar, Sadegh Soudjani
The computability of LQR and LQG control. HSCC (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ADHS (2021)
Sofie Haesaert, Sadegh Soudjani
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. IEEE Trans. Autom. Control. 66 (6) (2021)
Isaac Matthews, Sadegh Soudjani, Aad van Moorsel
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs. CoRR (2021)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. ADHS (2021)
Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS (2021)
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
Formal Multi-Objective Synthesis of Continuous-State MDPs. ACC (2021)
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. IEEE Trans. Autom. Control. 66 (7) (2021)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven verification and synthesis of stochastic systems through barrier certificates. CoRR (2021)
Milad Kazemi, Sadegh Soudjani
Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning. IFM (2020)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. IEEE Trans. Autom. Control. 65 (12) (2020)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. IEEE Control. Syst. Lett. 4 (4) (2020)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CoRR (2020)
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS (2020)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Compositional abstraction-based synthesis for networks of stochastic switched systems. Autom. 114 (2020)
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
Symbolic controller synthesis for Büchi specifications on stochastic systems. HSCC (2020)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. CoRR (2020)
Ben Wooding, Vahid Vahidinasab, Sadegh Soudjani
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles. CoRR (2020)
Isaac Matthews, John C. Mace, Sadegh Soudjani, Aad van Moorsel
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach. CoRR (2020)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
ARCH-COMP20 Category Report: Stochastic Models. ARCH (2020)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CAV (2) (2020)
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 8 (2020)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems. CoRR (2020)
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
On Decidability of Time-Bounded Reachability in CTMDPs. ICALP (2020)
Isaac Matthews, John C. Mace, Sadegh Soudjani, Aad van Moorsel
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach. TrustCom (2020)
Milad Kazemi, Sadegh Soudjani
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning. CoRR (2020)
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
On Decidability of Time-bounded Reachability in CTMDPs. CoRR (2020)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. HSCC (2020)
Ali Salamati, Sadegh Soudjani, Majid Zamani
Data-Driven Verification under Signal Temporal Logic Constraints. CoRR (2020)
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR (2020)
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs. ACM Trans. Model. Perform. Evaluation Comput. Syst. 5 (1) (2020)

Sadegh Soudjani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sadegh Soudjani