Sadegh Soudjani

196 papers A* 5A 4B 8C 3Journal 114Unranked 60
YearRankTypeTitle / Venue / Authors
2026 J jnl
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives.
J. Artif. Intell. Res.
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2026 A* conf
Incremental Data-Driven Policy Synthesis via Game Abstractions.
AAAI
Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
2026 J jnl
Kernel-Based Learning of Safety Barriers.
CoRR
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
2026 A* conf
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems.
AAAI
Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani
2026 J jnl
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization.
CoRR
Eleftherios E. Vlahakis, Arash Bahari Kordabad, Lars Lindemann, Pantelis Sopasakis, Sadegh Soudjani, Dimos V. Dimarogonas
2026 J jnl
Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions.
CoRR
Negar Monir, Sadegh Soudjani
2026 J jnl
Temporal Logic Resilience for Dynamical Systems.
IEEE Trans. Autom. Control.
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
2025 A conf
Analyzing Metastable Failures.
HotOS
Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani
2025 J jnl
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives.
CoRR
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2025 J jnl
BarrierBench : Evaluating Large Language Models for Safety Verification in Dynamical Systems.
CoRR
Ali Taheri, Alireza Taban, Sadegh Soudjani, Ashutosh Trivedi
2025 J jnl
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations.
IEEE Trans. Autom. Control.
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2025 B conf
Blending Participatory Design and Artificial Awareness for Trustworthy Autonomous Vehicles.
RO-MAN
Ana Tanevska, Ananthapathmanabhan Ratheesh Kumar, Arabinda Ghosh, Ernesto Casablanca, Ginevra Castellano, Sadegh Soudjani
2025 J jnl
Blending Participatory Design and Artificial Awareness for Trustworthy Autonomous Vehicles.
CoRR
Ana Tanevska, Ananthapathmanabhan Ratheesh Kumar, Arabinda Ghosh, Ernesto Casablanca, Ginevra Castellano, Sadegh Soudjani
2025 — conf
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach.
CDC
Negar Monir, Youssef Ait Si, Ratnangshu Das, Pushpak Jagtap, Adnane Saoud, Sadegh Soudjani
2025 J jnl
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach.
CoRR
Negar Monir, Youssef Ait Si, Ratnangshu Das, Pushpak Jagtap, Adnane Saoud, Sadegh Soudjani
2025 — conf
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics.
CDC
Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
2025 J jnl
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics.
CoRR
Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
2025 J jnl
Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints.
CoRR
Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann, Sebastien Gros, Dimos V. Dimarogonas, Sadegh Soudjani
2025 — conf
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems.
L4DC
Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
2025 J jnl
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems.
CoRR
Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
2025 J jnl
Formal Analysis of Metastable Failures in Software Systems.
CoRR
Peter Alvaro, Rebecca Isaacs, Rupak Majumdar, Kiran-Kumar Muniswamy-Reddy, Mahmoud Salamati, Sadegh Soudjani
2025 J jnl
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version).
CoRR
Oliver Schön, Sofie Haesaert, Sadegh Soudjani
2025 — conf
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates.
QEST+FORMATS
Oliver Schön, Sofie Haesaert, Sadegh Soudjani
2025 A conf
High-level quantum algorithm programming using Silq.
HPDC
Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani
2025 J jnl
Incremental Data-Driven Policy Synthesis via Game Abstractions.
CoRR
Irmak Saglam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
2025 J jnl
Intent-Aware MPC for Aircraft Detect-and-Avoid with Response Delay: A Comparative Study with ACAS Xu.
CoRR
Arash Bahari Kordabad, Arabinda Ghosh, Sybert Stroeve, Sadegh Soudjani
2025 J jnl
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems.
CoRR
Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani
2025 B conf
Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces.
SMC
Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani
2025 — conf
Logic-based Resilience Computation of Power Systems Against Frequency Requirements.
ECC
Negar Monir, Mahdieh Sadat Sadabadi, Sadegh Soudjani
2025 J jnl
Logic-based Resilience Computation of Power Systems Against Frequency Requirements.
CoRR
Negar Monir, Mahdieh Sadat Sadabadi, Sadegh Soudjani
2025 — conf
Maximally Resilient Controllers under Temporal Logic Specifications.
CDC
Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud
2025 J jnl
Maximally Resilient Controllers under Temporal Logic Specifications.
CoRR
Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud
2025 J jnl
On Certificates for Almost Sure Reachability in Stochastic Systems.
CoRR
Arash Bahari Kordabad, Rupak Majumdar, Harshit J. Motwani, Sadegh Soudjani
2025 J jnl
Quasi-Newton Compatible Actor-Critic for Deterministic Policies.
CoRR
Arash Bahari Kordabad, Dean Brandner, Sebastien Gros, Sergio Lucia, Sadegh Soudjani
2025 J jnl
Reachability analysis of FMI models using data-driven dynamic sensitivity.
Simul.
Sergiy Bogomolov, Cláudio Gomes, Carlos Ignacio Isasa Martin, Sadegh Soudjani, Paulius Stankaitis, Thomas Wright
2025 A* conf
Regret-Free Reinforcement Learning for Temporal Logic Specifications.
ICML
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2025 — conf
Robust Control of Uncertain Switched Affine Systems via Scenario Optimization.
L4DC
Negar Monir, Mahdieh Sadat Sadabadi, Sadegh Soudjani
2025 J jnl
Robust Control of Uncertain Switched Affine Systems via Scenario Optimization.
CoRR
Negar Monir, Mahdieh Sadat Sadabadi, Sadegh Soudjani
2025 — conf
Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance.
ECC
Arash Bahari Kordabad, Andrea Da Col, Arabinda Ghosh, Sybert Stroeve, Sadegh Soudjani
2025 J jnl
Second-Order Policy Gradient Methods for the Linear Quadratic Regulator.
CoRR
Amirreza Valaei, Arash Bahari Kordabad, Sadegh Soudjani
2025 J jnl
Stochastic Generalized Dynamic Games with Coupled Chance Constraints.
CoRR
Shahram Yadollahi, Hamed Kebriaei, Sadegh Soudjani
2025 J jnl
Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems.
CoRR
Arash Bahari Kordabad, Rupak Majumdar, Sadegh Soudjani
2025 — conf
Verification of Quantum Circuits Through Barrier Certificates Using a Scenario Approach.
QSW
Siwei Hu, Victor Lopata, Sadegh Soudjani, Paolo Zuliani
2025 J jnl
Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach.
CoRR
Siwei Hu, Victor Lopata, Sadegh Soudjani, Paolo Zuliani
2024 A* conf
Assume-Guarantee Reinforcement Learning.
AAAI
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2024 — conf
Automated Verification of Silq Quantum Programs using SMT Solvers.
QSW
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2024 J jnl
Automated Verification of Silq Quantum Programs using SMT Solvers.
CoRR
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2024 — conf
Awareness in Robotics: An Early Perspective from the Viewpoint of the EIC Pathfinder Challenge "Awareness Inside".
ERF (1)
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
2024 J jnl
Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside".
CoRR
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
2024 — conf
Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks.
ECC
Arash Bahari Kordabad, Maria Charitidou, Dimos V. Dimarogonas, Sadegh Soudjani
2024 — conf
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification.
ADHS
Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
2024 J jnl
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification.
CoRR
Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
2024 C conf
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings.
ACC
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
2024 J jnl
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings.
CoRR
Oliver Schön, Zhengang Zhong, Sadegh Soudjani
2024 J jnl
Data-driven verification and synthesis of stochastic systems via barrier certificates.
Autom.
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2024 — conf
Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications.
CDC
Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas, Sadegh Soudjani
2024 J jnl
Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications.
CoRR
Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas, Sadegh Soudjani
2024 J jnl
Formal Verification of Quantum Programs: Theory, Tools, and Challenges.
ACM Trans. Quantum Comput.
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
2024 A conf
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation.
AISTATS
Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani
2024 J jnl
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation.
CoRR
Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani
2024 J jnl
High-level quantum algorithm programming using Silq.
CoRR
Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani, Paolo Zuliani
2024 J jnl
Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces.
CoRR
Arabinda Ghosh, Mahmoud Salamati, Sadegh Soudjani
2024 — conf
Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs.
ADHS
Negar Monir, Oliver Schön, Sadegh Soudjani
2024 — conf
Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems.
ADHS
Behrad Samari, Matteo Della Rossa, Abolfazl Lavaei, Sadegh Soudjani, Raphaël M. Jungers
2024 J jnl
Necessary and Sufficient Certificates for Almost Sure Reachability.
IEEE Control. Syst. Lett.
Rupak Majumdar, V. R. Sathiyanarayana, Sadegh Soudjani
2024 — ed.
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
QEST+FORMATS
Jane Hillston, Sadegh Soudjani, Masaki Waga
2024 — conf
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness.
ITSC
Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei
2024 J jnl
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness.
CoRR
Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei
2024 J jnl
Regret-Free Reinforcement Learning for LTL Specifications.
CoRR
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2024 J jnl
Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance.
CoRR
Arash Bahari Kordabad, Andrea Da Col, Arabinda Ghosh, Sybert Stroeve, Sadegh Soudjani
2024 — conf
Safe Reach Set Computation via Neural Barrier Certificates.
ADHS
Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
2024 J jnl
Safe Reach Set Computation via Neural Barrier Certificates.
CoRR
Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
2024 — conf
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks.
CDC
Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
2024 J jnl
Specification-guided temporal logic control for stochastic systems: a multi-layered approach.
CoRR
B. C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani, Sofie Haesaert
2024 J jnl
SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness.
CoRR
Ernesto Casablanca, Zengjie Zhang, Gregorio Marchesini, Sofie Haesaert, Dimos V. Dimarogonas, Sadegh Soudjani
2024 — conf
T-Count Optimizing Genetic Algorithm for Quantum State Preparation.
QSW
Andrew Wright, Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2024 J jnl
T-Count Optimizing Genetic Algorithm for Quantum State Preparation.
CoRR
Andrew Wright, Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2024 J jnl
Temporal Logic Resilience for Dynamical Systems.
CoRR
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
2024 J jnl
Verification of Quantum Circuits through Discrete-Time Barrier Certificates.
CoRR
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
2023 J jnl
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems.
IEEE Trans. Autom. Control.
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
2023 — conf
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.
CAV (3)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
2023 — conf
ARCH-COMP23 Category Report: Stochastic Models.
ARCH
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
2023 J jnl
Assume-Guarantee Reinforcement Learning.
CoRR
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2023 B conf
Barrier Certificates for a Computational Model of Epileptic Seizures.
SMC
John F. Ingham, Yujiang Wang, Paolo Zuliani, Sadegh Soudjani
2023 J jnl
Bayesian Approach to Temporal Logic Control of Uncertain Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 J jnl
Constructing MDP Abstractions Using Data With Formal Guarantees.
IEEE Control. Syst. Lett.
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
2023 J jnl
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach.
IEEE Control. Syst. Lett.
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2023 J jnl
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.
TheoretiCS
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2023 J jnl
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach.
CoRR
Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani
2023 J jnl
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach.
IEEE Trans. Autom. Control.
Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2023 J jnl
Generalized Stochastic Dynamic Aggregative Game for Demand-Side Management in Microgrids With Shared Battery.
IEEE Control. Syst. Lett.
Shahram Yadollahi, Hamed Kebriaei, Sadegh Soudjani
2023 J jnl
Generalized Stochastic Dynamic Aggregative Game for Demand-Side Management in Microgrids with Shared Battery.
CoRR
Shahram Yadollahi, Hamed Kebriaei, Sadegh Soudjani
2023 J jnl
Neural Abstraction-Based Controller Synthesis and Deployment.
CoRR
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2023 J jnl
Neural Abstraction-Based Controller Synthesis and Deployment.
ACM Trans. Embed. Comput. Syst.
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2023 — conf
Poster Abstract: A Toolchain for Accelerated Symbolic Control.
HSCC
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
2023 — conf
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱.
HSCC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 — conf
Reinforcement Learning for Stochastic Max-Plus Linear Systems.
CDC
Vignesh Subramanian, Farzaneh Farhadi, Sadegh Soudjani
2023 — conf
Robust Simulation Functions with Disturbance Refinement.
ECC
Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab, Sadegh Soudjani
2023 J jnl
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks.
CoRR
Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
2023 — conf
SySCoRe: Synthesis via Stochastic Coupling Relations.
HSCC
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
2023 J jnl
SySCoRe: Synthesis via Stochastic Coupling Relations.
CoRR
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert
2023 — conf
Temporal Logic Resilience for Cyber-Physical Systems.
CDC
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
2023 — conf
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems.
TOOLympics@ETAPS
Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Sadegh Soudjani
2023 B conf
Using Knowledge Awareness to Improve Safety of Autonomous Driving.
SMC
Andrea Calvagna, Arabinda Ghosh, Sadegh Soudjani
2023 J jnl
Using Knowledge Awareness to improve Safety of Autonomous Driving.
CoRR
Andrea Calvagna, Arabinda Ghosh, Sadegh Soudjani
2023 — conf
Verification of Quantum Systems Using Barrier Certificates.
QEST
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2023 J jnl
Verification of Quantum Systems using Barrier Certificates.
CoRR
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
2023 — conf
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.
CDC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2023 J jnl
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 — conf
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.
TACAS (2)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2022 — conf
ARCH-COMP22 Category Report: Stochastic Models.
ARCH@SAFECOMP
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
2022 J jnl
Automated verification and synthesis of stochastic hybrid systems: A survey.
Autom.
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
2022 J jnl
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems.
CoRR
Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2022 J jnl
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems.
Autom.
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2022 J jnl
Constructing MDP Abstractions Using Data with Formal Guarantees.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
2022 — conf
Correct-by-Design Control of Parametric Stochastic Systems.
CDC
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 J jnl
Correct-by-Design Control of Parametric Stochastic Systems.
CoRR
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022 J jnl
Data-Driven Abstraction-Based Control Synthesis.
CoRR
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
2022 — conf
Data-Driven Reachability Analysis of Digital Twin FMI Models.
ISoLA (4)
Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis
2022 J jnl
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.
CoRR
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2022 C conf
Safety Barrier Certificates for Stochastic Hybrid Systems.
ACC
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
2022 J jnl
Safety Barrier Certificates for Stochastic Hybrid Systems.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
2022 A conf
Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning.
AAMAS
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2021 — conf
ARCH-COMP21 Category Report: Stochastic Models.
ARCH@ADHS
Alessandro Abate, Henk A. P. 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 J. Thorpe, Vlad Turcuman, Paolo Zuliani
2021 J jnl
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
2021 J jnl
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.
Eur. J. Control
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2021 — conf
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems.
ADHS
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021 — conf
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates.
ADHS
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021 J jnl
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates.
CoRR
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021 J jnl
Data-driven verification and synthesis of stochastic systems via barrier certificates.
CoRR
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021 J jnl
Data-driven verification of stochastic linear systems with signal temporal logic constraints.
Autom.
Ali Salamati, Sadegh Soudjani, Majid Zamani
2021 — conf
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach.
HSCC
Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2021 C conf
Formal Multi-Objective Synthesis of Continuous-State MDPs.
ACC
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
2021 J jnl
Formal Multi-Objective Synthesis of Continuous-State MDPs.
IEEE Control. Syst. Lett.
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
2021 J jnl
Formal Synthesis of Stochastic Systems via Control Barrier Certificates.
IEEE Trans. Autom. Control.
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2021 J jnl
Formal Verification of Quantum Programs: Theory, Tools and Challenges.
CoRR
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
2021 J jnl
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems.
IEEE Trans. Autom. Control.
Sofie Haesaert, Sadegh Soudjani
2021 — conf
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs.
SciSec
Isaac Matthews, Sadegh Soudjani, Aad van Moorsel
2021 J jnl
Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs.
CoRR
Isaac Matthews, Sadegh Soudjani, Aad van Moorsel
2021 J jnl
Symbolic Control for Stochastic Systems via Parity Games.
CoRR
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2021 — conf
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games.
ADHS
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2021 — conf
Symbolic reach-avoid control of multi-agent systems.
ICCPS
Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian
2021 J jnl
Systematic review of features for co-simulating security incidents in Cyber-Physical Systems.
Secur. Priv.
Ricardo M. Czekster, Charles Morisset, John A. Clark, Sadegh Soudjani, Charalampos Patsios, Peter Davison
2021 B conf
The Pseudo-Skolem Problem is Decidable.
MFCS
Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
2021 — conf
The computability of LQR and LQG control.
HSCC
Rupak Majumdar, Sadegh Soudjani
2020 J jnl
A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs.
ACM Trans. Model. Perform. Evaluation Comput. Syst.
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
2020 — conf
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.
CAV (2)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020 J jnl
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.
CoRR
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020 — conf
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems.
HSCC
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020 — conf
ARCH-COMP20 Category Report: Stochastic Models.
ARCH
Alessandro Abate, Henk A. P. 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
2020 J jnl
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.
IEEE Access
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2020 J jnl
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.
IEEE Trans. Autom. Control.
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2020 J jnl
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.
CoRR
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2020 J jnl
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.
IEEE Control. Syst. Lett.
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2020 J jnl
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems.
CoRR
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2020 J jnl
Compositional abstraction-based synthesis for networks of stochastic switched systems.
Autom.
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2020 B conf
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach.
TrustCom
Isaac Matthews, John C. Mace, Sadegh Soudjani, Aad van Moorsel
2020 J jnl
Cyclic Bayesian Attack Graphs: A Systematic Computational Approach.
CoRR
Isaac Matthews, John C. Mace, Sadegh Soudjani, Aad van Moorsel
2020 J jnl
Data-Driven Verification under Signal Temporal Logic Constraints.
CoRR
Ali Salamati, Sadegh Soudjani, Majid Zamani
2020 — conf
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
ICCPS
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2020 J jnl
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
CoRR
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2020 J jnl
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles.
CoRR
Ben Wooding, Vahid Vahidinasab, Sadegh Soudjani
2020 J jnl
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning.
CoRR
Milad Kazemi, Sadegh Soudjani
2020 B conf
Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning.
IFM
Milad Kazemi, Sadegh Soudjani
2020 A* conf
On Decidability of Time-Bounded Reachability in CTMDPs.
ICALP
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2020 J jnl
On Decidability of Time-bounded Reachability in CTMDPs.
CoRR
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2020 — conf
Symbolic controller synthesis for Büchi specifications on stochastic systems.
HSCC
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
2019 — conf
ARCH-COMP19 Category Report: Stochastic Modelling.
ARCH@CPSIoTWeek
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
2019 — conf
Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems.
ECC
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2019 — conf
Achievements in correct-by-design control for stochastic systems.
SNR
Sofie Haesaert, Sadegh Soudjani
2019 — conf
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.
NSV@CAV
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 J jnl
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.
CoRR
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2019 J jnl
Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 J jnl
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 J jnl
Compositional Synthesis of Finite-State Abstractions.
IEEE Trans. Autom. Control.
Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar
2019 J jnl
Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 — conf
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions.
ECC
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 J jnl
Compositional construction of infinite abstractions for networks of stochastic control systems.
Autom.
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 J jnl
Formal Synthesis of Stochastic Systems via Control Barrier Certificates.
CoRR
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2019 J jnl
Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs.
CoRR
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
2019 J jnl
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control.
ACM Trans. Embed. Comput. Syst.
Mahmoud Salamati, Rocco Salvia, Eva Darulova, Sadegh Soudjani, Rupak Majumdar
2019 J jnl
Perception-in-the-Loop Adversarial Examples.
CoRR
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
2019 — ed.
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019
SNR
Sriram Sankaranarayanan, Sadegh Soudjani
2019 J jnl
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances.
IEEE Trans. Autom. Control.
Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Soudjani
2019 J jnl
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems.
CoRR
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
2018 — conf
ARCH-COMP18 Category Report: Stochastic Modelling.
ARCH@ADHS
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod
2018 — conf
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach.
QEST
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
2018 J jnl
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018 — conf
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach.
ADHS
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018 — conf
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs.
HSCC
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018 — conf
Concentration of Measure for Chance-Constrained Optimization.
ADHS
Sadegh Soudjani, Rupak Majumdar
2018 — conf
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes.
HSCC
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018 J jnl
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems.
CoRR
Sofie Haesaert, Sadegh Soudjani
2018 B conf
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.
ATVA
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2018 J jnl
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.
CoRR
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2018 — conf
Temporal logic control of general Markov decision processes by approximate policy refinement.
ADHS
Sofie Haesaert, Sadegh Soudjani, Alessandro Abate