Ameneh Nejati
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Context-triggered games for reactive synthesis over stochastic systems via control barrier certificates | 2025-04-25 | Paper |
| Estimating infinitesimal generators of stochastic systems with formal error bounds Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Formal safety verification of unknown continuous-time systems Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach IEEE Transactions on Automatic Control | 2023-09-29 | Paper |
| Compositional construction of control barrier functions for continuous-time stochastic hybrid systems Automatica | 2022-09-30 | Paper |
| Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems European Journal of Control | 2021-01-21 | Paper |
Research outcomes over time
This page was built for person: Ameneh Nejati
