Abolfazl Lavaei

Available identifiers

zbMath Open lavaei.abolfazlMaRDI QIDQ2061248

List of research outcomes

Publication	Date of Publication	Type
Scalable synthesis of safety barrier certificates for networks of stochastic switched systems	2025-01-21	Paper
Data-driven verification and synthesis of stochastic systems via barrier certificates	2024-05-14	Paper
Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications	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
Formal safety verification of unknown continuous-time systems	2024-02-21	Paper
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations	2024-02-21	Paper
Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees*	2024-02-21	Paper
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach	2023-09-29	Paper
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems	2023-09-24	Paper
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems	2023-09-21	Paper
Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations	2022-12-09	Paper
Automated verification and synthesis of stochastic hybrid systems: a survey	2022-11-14	Paper
Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems	2022-02-10	Paper
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations	2021-12-13	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
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
From dissipativity theory to compositional construction of finite Markov decision processes	2018-12-06	Paper

Research outcomes over time

This page was built for person: Abolfazl Lavaei