Publications by Dr Sadegh Soudjani - ePrints

Browsing publications by Dr Sadegh Soudjani.

Newcastle Authors	Title	Year
Dr Abolfazl Lavaei Dr Sadegh Soudjani	Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates	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
Dr Sergiy Bogomolov Dr Kostiantyn Potomkin Dr Sadegh Soudjani Dr Paolo Zuliani	Safe Reach Set Computation via Neural Barrier Certificates	2024
Omid Akbarzadeh Dr Sadegh Soudjani Dr Abolfazl Lavaei	Safety Barrier Certificates for Stochastic Control 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 Dr Fedor Shmarov Dr Sadegh Soudjani Dr Paolo Zuliani	ARCH-COMP23 Category Report: Stochastic Models	2023
Dr Abolfazl Lavaei Dr Milad Kazemi Mehrabadi Dr Sadegh Soudjani	Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems	2023
Dr Amy Nejati Dr Abolfazl Lavaei Dr Sadegh Soudjani	Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach	2023
Dr Amy Nejati Dr Abolfazl Lavaei Dr Sadegh Soudjani	Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach	2023
Dr Ben Wooding Dr Abolfazl Lavaei Dr Vahid Vahidinasab Dr Sadegh Soudjani	Robust Simulation Functions with Disturbance Refinement	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 Amy Nejati Dr Sadegh Soudjani	Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems	2022
Dr Abolfazl Lavaei Dr Sadegh Soudjani	Constructing MDP Abstractions Using Data with Formal Guarantees	2022
Oliver Schoen Dr Sadegh Soudjani	Correct-by-Design Control of Parametric Stochastic Systems	2022
Dr Abolfazl Lavaei Dr Sadegh Soudjani	Safety Barrier Certificates for Stochastic Hybrid Systems	2022
Dr Amy Nejati Dr Sadegh Soudjani	Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems	2021
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
Pushpak Jagtap Dr Sadegh Soudjani	Formal Synthesis of Stochastic Systems via Control Barrier Certificates	2021
Dr Sadegh Soudjani	A Lyapunov Approach for Time Bounded Reachability of CTMCs and CTMDPs	2020
Dr Fedor Shmarov Dr Sadegh Soudjani Dr Paolo Zuliani	Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems	2020
Isaac Matthews Dr John Mace Dr Sadegh Soudjani Professor Aad van Moorsel	Cyclic Bayesian Attack Graphs: A Systematic Computational Approach	2020
Dr Sadegh Soudjani	Symbolic controller synthesis for Büchi specifications on stochastic systems	2020
Dr Sadegh Soudjani	Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems	2019
Dr Abolfazl Lavaei Dr Sadegh Soudjani	Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems	2019
Dr Sadegh Soudjani	Compositional Synthesis of Finite-State Abstractions	2019
Dr Sadegh Soudjani	Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control	2019
Dr Sadegh Soudjani	Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances	2019
Dr Sadegh Soudjani	Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach	2018
Dr Sadegh Soudjani	Concentration of Measure for Chance-Constrained Optimization	2018
Dr Sadegh Soudjani	Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study	2018
Dr Sadegh Soudjani	From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes	2018
Dr Sadegh Soudjani	Temporal logic control of general Markov decision processes by approximate policy refinement	2018
Pushpak Jagtap Dr Sadegh Soudjani	Temporal Logic Verification of Stochastic Systems Using Barrier Certificates	2018
Dr Sadegh Soudjani	Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement	2017
Dr Sadegh Soudjani	Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions	2015
Dr Sadegh Soudjani	FAUST²: Formal Abstractions of Uncountable-STate STochastic Processes	2015
Dr Sadegh Soudjani	Adaptive and Sequential Gridding Procedures for the Abstraction and the Verification of Stochastic Processes	2013