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 Sadegh Soudjani.
Newcastle Authors
Title
Year
Full text
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates
2024
Dr Sergiy Bogomolov
Dr Kostiantyn Potomkin
Dr Sadegh Soudjani
Dr Paolo Zuliani
Safe Reach Set Computation via Neural Barrier Certificates
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 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 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 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
2
: 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