Xia Zeng
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 |
|---|---|---|
| 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
