Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Dr Abolfazl Lavaei.
Newcastle Authors
Title
Year
Full text
Dr Abolfazl Lavaei
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications
2024
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates
2024
Behrad Samari
Dr Abolfazl Lavaei
Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems
2024
Omid Akbarzadeh
Dr Abolfazl Lavaei
Safety Certificates of Stochastic Cyber-Physical 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
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
Data-Driven Stability Certificate of Interconnected Homogeneous Networks via ISS Properties
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 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 Schoen
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
Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach
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