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 |
|---|---|---|
| An iterative scheme of hybrid controller synthesis for nonlinear systems subject to safety constraints Information and Computation | 2025-12-15 | Paper |
| Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints | 2024-02-01 | Paper |
| Learning safe neural network controllers with barrier certificates Dependable Software Engineering. Theories, Tools, and Applications | 2022-09-01 | Paper |
| An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation | 2022-03-25 | Paper |
| Learning safe neural network controllers with barrier certificates Formal Aspects of Computing | 2021-08-30 | Paper |
| Synthesizing barrier certificates using neural networks Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| Local polynomial estimation of distribution functions | 2008-08-06 | Paper |
Research outcomes over time
This page was built for person: Xia Zeng
