Dr Abolfazl Lavaei
| Abstraction-based Synthesis of Stochastic Hybrid Systems | 2024 |
|
Dr Abolfazl Lavaei
| Compositional Safety Verification of Infinite Networks: A Data-Driven Approach | 2024 |
|
Dr Abolfazl Lavaei
| Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications | 2024 |
|
Dr Abolfazl Lavaei
| Compositional Synthesis of Safety Barrier Certificates for Infinite Networks | 2024 |
|
Omid Akbarzadeh Dr Amy Nejati Dr Abolfazl Lavaei
| Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks | 2024 |
|
Omid Akbarzadeh Dr Amy Nejati Dr Abolfazl Lavaei
| Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks | 2024 |
|
Dr Abolfazl Lavaei Dr Sadegh Soudjani
| Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates | 2024 |
|
Behrad Samari Omid Akbarzadeh Mahdieh Zaker Dr Abolfazl Lavaei
| From a single trajectory to safety controller synthesis of discrete-time nonlinear polynomial systems | 2024 |
|
Dr Ben Wooding Dr Abolfazl Lavaei
| IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees | 2024 |
|
Dr Ben Wooding Dr Abolfazl Lavaei
| IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems | 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 |
|
Omid Akbarzadeh Dr Sadegh Soudjani Dr Abolfazl Lavaei
| Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks | 2024 |
|
Omid Akbarzadeh Dr Abolfazl Lavaei
| Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks | 2024 |
|
Dr Abolfazl Lavaei
| Scalable Synthesis of Safety Barrier Certificates for Networks of Stochastic Switched Systems | 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
| Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations | 2023 |
|
Dr Abolfazl Lavaei
| Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs | 2023 |
|
Dr Abolfazl Lavaei Dr Milad Kazemi Mehrabadi Dr Sadegh Soudjani
| Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems | 2023 |
|
Dr Abolfazl Lavaei
| Data-Driven Controller Synthesis via Finite Abstractions with Formal Guarantees | 2023 |
|
Dr Abolfazl Lavaei
| Data-Driven Stability Certificate of Interconnected Homogeneous Networks via ISS Properties | 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 Abolfazl Lavaei
| Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach | 2023 |
|
Dr Abolfazl Lavaei
| Formal Methods for Stochastic Cyber-Physical Systems | 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 Abolfazl Lavaei
| MDP Abstractions from Data: Large-Scale Stochastic Networks | 2023 |
|
Dr Ben Wooding Dr Abolfazl Lavaei Dr Vahid Vahidinasab Dr Sadegh Soudjani
| Robust Simulation Functions with Disturbance Refinement | 2023 |
|
Dr Abolfazl Lavaei
| Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy | 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 Abolfazl Lavaei
| Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching | 2022 |
|
Dr Abolfazl Lavaei Dr Sadegh Soudjani
| Constructing MDP Abstractions Using Data with Formal Guarantees | 2022 |
|
Dr Abolfazl Lavaei
| Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations | 2022 |
|
Dr Abolfazl Lavaei
| Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees | 2022 |
|
Dr Abolfazl Lavaei
| Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics | 2022 |
|
Dr Abolfazl Lavaei
| Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence | 2022 |
|
Dr Abolfazl Lavaei
| From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems | 2022 |
|
Dr Abolfazl Lavaei
| From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems | 2022 |
|
Dr Abolfazl Lavaei Dr Sadegh Soudjani
| Safety Barrier Certificates for Stochastic Hybrid Systems | 2022 |
|
Dr Abolfazl Lavaei
| Scalable Synthesis of Finite MDPs for Large-Scale Stochastic Switching Systems | 2022 |
|
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
| Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems | 2021 |
|
Dr Abolfazl Lavaei
| Towards Trustworthy AI: Safe-visor Architecture for Uncertified Controllers in Stochastic Cyber-Physical Systems | 2021 |
|
Dr Abolfazl Lavaei Dr Sadegh Soudjani
| Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems | 2019 |
|