Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Abolfazl Lavaei

Newcastle AuthorsTitleYearFull text
Mahdieh Zaker
Dr Amy Nejati
Dr Abolfazl Lavaei
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees2025
Jamie Gardner
Dr Ben Wooding
Dr Amy Nejati
Dr Abolfazl Lavaei
TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory2025
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
Omid Akbarzadeh
Dr Amy Nejati
Dr Abolfazl Lavaei
Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks2024
Omid Akbarzadeh
Dr Amy Nejati
Dr Abolfazl Lavaei
Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks2024
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates2024
Behrad Samari
Omid Akbarzadeh
Mahdieh Zaker
Dr Abolfazl Lavaei
From a single trajectory to safety controller synthesis of discrete-time nonlinear polynomial systems2024
Dr Ben Wooding
Dr Abolfazl Lavaei
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees2024
Dr Ben Wooding
Dr Abolfazl Lavaei
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems2024
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
1234