Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Sadegh Soudjani

Newcastle AuthorsTitleYearFull text
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates2024
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
Dr Sergiy Bogomolov
Dr Kostiantyn Potomkin
Dr Sadegh Soudjani
Dr Paolo Zuliani
Safe Reach Set Computation via Neural Barrier Certificates2024
Omid Akbarzadeh
Dr Sadegh Soudjani
Dr Abolfazl Lavaei
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks2024
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
Dr Milad Kazemi Mehrabadi
Dr Sadegh Soudjani
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems2023
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach2023
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach2023
Dr Ben Wooding
Dr Abolfazl Lavaei
Dr Vahid Vahidinasab
Dr Sadegh Soudjani
Robust Simulation Functions with Disturbance Refinement2023
Dr Abolfazl Lavaei
Dr Oliver Schön
Dr Sadegh Soudjani
ARCH-COMP22 Category Report: Stochastic Models2022
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Automated verification and synthesis of stochastic hybrid systems2022
Dr Amy Nejati
Dr Sadegh Soudjani
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems2022
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Constructing MDP Abstractions Using Data with Formal Guarantees2022
123