Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Abolfazl Lavaei.

Newcastle AuthorsTitleYearFull text
Dr Abolfazl Lavaei
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications2024
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates2024
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems2023
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
Data-Driven Stability Certificate of Interconnected Homogeneous Networks via ISS Properties2023
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 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
Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach2022
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
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems2021
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems2019