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
Mahdieh Zaker
Dr Amy Nejati
Dr Abolfazl Lavaei
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
2025
Jamie Gardner
Dr Ben Wooding
Dr Amy Nejati
Dr Abolfazl Lavaei
TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory
2025
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
1
2
3
4