Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates | 2024 |
|
Behrad Samari
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems | 2024 |
|
Mahdieh Zaker
Dr Sadegh Soudjani
Dr Abolfazl Lavaei
| Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness | 2024 |
|
Dr Sergiy Bogomolov
Dr Kostiantyn Potomkin
Dr Sadegh Soudjani
Dr Paolo Zuliani
| Safe Reach Set Computation via Neural Barrier Certificates | 2024 |
|
Omid Akbarzadeh
Dr Sadegh Soudjani
Dr Abolfazl Lavaei
| Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks | 2024 |
|
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems | 2023 |
|
Dr Abolfazl Lavaei
Dr Fedor Shmarov
Dr Sadegh Soudjani
Dr Paolo Zuliani
| ARCH-COMP23 Category Report: Stochastic Models | 2023 |
|
Dr Abolfazl Lavaei
Dr Milad Kazemi Mehrabadi
Dr Sadegh Soudjani
| Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems | 2023 |
|
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach | 2023 |
|
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach | 2023 |
|
Dr Ben Wooding
Dr Abolfazl Lavaei
Dr Vahid Vahidinasab
Dr Sadegh Soudjani
| Robust Simulation Functions with Disturbance Refinement | 2023 |
|
Dr Abolfazl Lavaei
Oliver Schön
Dr Sadegh Soudjani
| ARCH-COMP22 Category Report: Stochastic Models | 2022 |
|
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Automated verification and synthesis of stochastic hybrid systems | 2022 |
|
Dr Amy Nejati
Dr Sadegh Soudjani
| Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems | 2022 |
|
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Constructing MDP Abstractions Using Data with Formal Guarantees | 2022 |
|
Oliver Schön
Dr Sadegh Soudjani
| Correct-by-Design Control of Parametric Stochastic Systems | 2022 |
|
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Safety Barrier Certificates for Stochastic Hybrid Systems | 2022 |
|
Dr Abolfazl Lavaei
Dr Fedor Shmarov
Dr Sadegh Soudjani
Dr Paolo Zuliani
| ARCH-COMP21 Category Report: Stochastic Models | 2021 |
|
Dr Amy Nejati
Dr Sadegh Soudjani
| Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems | 2021 |
|
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations | 2021 |
|
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems | 2021 |
|
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates | 2021 |
|
Dr Abolfazl Lavaei
Dr Amy Nejati
Dr Sadegh Soudjani
| Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach | 2021 |
|
Pushpak Jagtap
Dr Sadegh Soudjani
| Formal Synthesis of Stochastic Systems via Control Barrier Certificates | 2021 |
|
Dr Sadegh Soudjani
| A Lyapunov Approach for Time Bounded Reachability of CTMCs and CTMDPs | 2020 |
|
Dr Fedor Shmarov
Dr Sadegh Soudjani
Dr Paolo Zuliani
| Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems | 2020 |
|
Isaac Matthews
Dr John Mace
Dr Sadegh Soudjani
Professor Aad van Moorsel
| Cyclic Bayesian Attack Graphs: A Systematic Computational Approach | 2020 |
|
Dr Sadegh Soudjani
| Symbolic controller synthesis for Büchi specifications on stochastic systems | 2020 |
|
Dr Sadegh Soudjani
| Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems | 2019 |
|
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems | 2019 |
|
Dr Sadegh Soudjani
| Compositional Synthesis of Finite-State Abstractions | 2019 |
|
Dr Sadegh Soudjani
| Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control | 2019 |
|
Dr Sadegh Soudjani
| Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances | 2019 |
|
Dr Sadegh Soudjani
| Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach | 2018 |
|
Dr Sadegh Soudjani
| Concentration of Measure for Chance-Constrained Optimization | 2018 |
|
Dr Sadegh Soudjani
| Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study | 2018 |
|
Dr Sadegh Soudjani
| From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes | 2018 |
|
Dr Sadegh Soudjani
| Temporal logic control of general Markov decision processes by approximate policy refinement | 2018 |
|
Pushpak Jagtap
Dr Sadegh Soudjani
| Temporal Logic Verification of Stochastic Systems Using Barrier Certificates | 2018 |
|
Dr Sadegh Soudjani
| Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement | 2017 |
|
Dr Sadegh Soudjani
| Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions | 2015 |
|
Dr Sadegh Soudjani
| FAUST2: Formal Abstractions of Uncountable-STate STochastic Processes | 2015 |
|
Dr Sadegh Soudjani
| Adaptive and Sequential Gridding Procedures for the Abstraction and the Verification of Stochastic Processes | 2013 |
|
