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
