Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Abolfazl Lavaei.

Newcastle AuthorsTitleYearFull text
Dr Abolfazl Lavaei
Abstraction-based Synthesis of Stochastic Hybrid Systems2024
Dr Abolfazl Lavaei
Compositional Safety Verification of Infinite Networks: A Data-Driven Approach2024
Dr Abolfazl Lavaei
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications2024
Dr Abolfazl Lavaei
Compositional Synthesis of Safety Barrier Certificates for Infinite Networks2024
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates2024
Dr Ben Wooding
Dr Abolfazl Lavaei
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees2024
Behrad Samari
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems2024
Mahdieh Zaker
Dr Sadegh Soudjani
Dr Abolfazl Lavaei
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness2024
Omid Akbarzadeh
Dr Sadegh Soudjani
Dr Abolfazl Lavaei
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks2024
Omid Akbarzadeh
Dr Abolfazl Lavaei
Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks2024
Dr Abolfazl Lavaei
Scalable Synthesis of Safety Barrier Certificates for Networks of Stochastic Switched Systems2024
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems2023
Dr Abolfazl Lavaei
Dr Fedor Shmarov
Dr Sadegh Soudjani
Dr Paolo Zuliani
ARCH-COMP23 Category Report: Stochastic Models2023
Dr Abolfazl Lavaei
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations2023
Dr Abolfazl Lavaei
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs2023
Dr Abolfazl Lavaei
Dr Milad Kazemi Mehrabadi
Dr Sadegh Soudjani
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems2023
Dr Abolfazl Lavaei
Data-Driven Controller Synthesis via Finite Abstractions with Formal Guarantees2023
Dr Abolfazl Lavaei
Data-Driven Stability Certificate of Interconnected Homogeneous Networks via ISS Properties2023
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach2023
Dr Abolfazl Lavaei
Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach2023
Dr Abolfazl Lavaei
Formal Methods for Stochastic Cyber-Physical Systems2023
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach2023
Dr Abolfazl Lavaei
MDP Abstractions from Data: Large-Scale Stochastic Networks2023
Dr Ben Wooding
Dr Abolfazl Lavaei
Dr Vahid Vahidinasab
Dr Sadegh Soudjani
Robust Simulation Functions with Disturbance Refinement2023
Dr Abolfazl Lavaei
Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy2023
Dr Abolfazl Lavaei
Oliver Schoen
Dr Sadegh Soudjani
ARCH-COMP22 Category Report: Stochastic Models2022
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Automated verification and synthesis of stochastic hybrid systems2022
Dr Abolfazl Lavaei
Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching2022
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Constructing MDP Abstractions Using Data with Formal Guarantees2022
Dr Abolfazl Lavaei
Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations2022
Dr Abolfazl Lavaei
Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees2022
Dr Abolfazl Lavaei
Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics2022
Dr Abolfazl Lavaei
Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence2022
Dr Abolfazl Lavaei
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems2022
Dr Abolfazl Lavaei
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems2022
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Safety Barrier Certificates for Stochastic Hybrid Systems2022
Dr Abolfazl Lavaei
Scalable Synthesis of Finite MDPs for Large-Scale Stochastic Switching Systems2022
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations2021
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems2021
Dr Abolfazl Lavaei
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems2021
Dr Abolfazl Lavaei
Towards Trustworthy AI: Safe-visor Architecture for Uncertified Controllers in Stochastic Cyber-Physical Systems2021
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems2019