Ameneh Nejati

Available identifiers

zbMath Open nejati.amenehMaRDI QIDQ2081791

List of research outcomes

Publication	Date of Publication	Type
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
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach	2023-09-29	Paper
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems	2022-09-30	Paper
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems	2021-01-21	Paper

Research outcomes over time

This page was built for person: Ameneh Nejati