Sadegh Soudjani

Available identifiers

zbMath Open soudjani.sadeghMaRDI QIDQ2061249

List of research outcomes

Publication	Date of Publication	Type
Fast symbolic algorithms for omega-regular games under strong transition fairness	2024-07-03	Paper
Data-driven abstraction-based control synthesis	2024-06-07	Paper
Verification of quantum systems using barrier certificates	2024-05-29	Paper
Data-driven verification and synthesis of stochastic systems via barrier certificates	2024-05-14	Paper
Symbolic control for stochastic systems via finite parity games	2024-03-01	Paper
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems	2024-02-29	Paper
Estimating infinitesimal generators of stochastic systems with formal error bounds	2024-02-21	Paper
The computability of LQR and LQG control	2024-02-21	Paper
SySCoRe: Synthesis via Stochastic Coupling Relations	2024-02-21	Paper
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱	2024-02-21	Paper
Poster Abstract: A Toolchain for Accelerated Symbolic Control	2024-02-21	Paper
A direct symbolic algorithm for solving stochastic Rabin games	2024-02-01	Paper
A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties	2024-02-01	Paper
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach	2023-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q6168448	2023-08-08	Paper
Temporal logic verification of stochastic systems using barrier certificates	2023-07-28	Paper
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach	2023-06-28	Paper
Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning	2023-03-21	Paper
Automated verification and synthesis of stochastic hybrid systems: a survey	2022-11-14	Paper
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems	2022-09-30	Paper
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations	2021-12-13	Paper
Data-driven verification of stochastic linear systems with signal temporal logic constraints	2021-11-19	Paper
Formal Synthesis of Stochastic Systems via Control Barrier Certificates	2021-07-26	Paper
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems	2021-07-26	Paper
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems	2021-03-12	Paper
\textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems	2021-02-09	Paper
AMYTISS	2021-01-25	Paper
Symbolic controller synthesis for Büchi specifications on stochastic systems	2021-01-25	Paper
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems	2021-01-21	Paper
Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach	2020-05-07	Paper
Compositional abstraction-based synthesis for networks of stochastic switched systems	2020-04-17	Paper
Compositional construction of infinite abstractions for networks of stochastic control systems	2019-12-19	Paper
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances	2019-08-12	Paper
Compositional Synthesis of Finite-State Abstractions	2019-07-18	Paper
From dissipativity theory to compositional construction of finite Markov decision processes	2018-12-06	Paper
Formal and data association aware robust belief space planning	2018-08-29	Paper

Research outcomes over time

This page was built for person: Sadegh Soudjani