Projekter per år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Xinyu Ge er aktiv.
- 1 Lignende profiler
Projekter
- 1 Igangværende
-
Cosyne: Safe Control Systems with Neural Networks
Schilling, C. (PI (principal investigator)), Tabouri, F. (Projektdeltager), Ge, X. (Projektdeltager) & Bais, G. (Projektdeltager)
01/09/2024 → 31/10/2028
Projekter: Projekt › Forskning
Publikationer
-
Poster Abstract: Reachability Analysis of Linear Systems
Ge, X., 2026.Publikation: Konferencebidrag uden forlag/tidsskrift › Poster › Forskning › peer review
-
Automatic Decision Procedures for Trigonometric-Exponential Polynomials
Ge, X., 2025, Book of Abstracts: The Fifth Edition of the Young Applied Mathematicians Conference. CNRS Editions, s. 47-49Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceabstrakt i proceeding › Forskning › peer review
Åben adgang -
Barrier Certificate Computation using Gaussian Process Optimization
Ge, X., Soudjani, S. & Zuliani, P., 2025, Joint Proceedings of the Workshops Identity-aware AI and Awareness in Learning Agents 2025 co-located with 28th European Conference on Artificial Intelligence (ECAI 2025).. CEUR-WS, 14 s. (CEUR Workshop Proceedings, Bind 4136).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil15 Downloads (Pure) -
Reachability analysis of linear systems
Chen, S. & Ge, X., sep. 2024, I: Acta Informatica. 61, 3, s. 231-260 30 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1 Link åbnes på en ny fane Citationer (Scopus) -
SQUARE–FREE FACTORIZATION OF MIXED TRIGONOMETRIC–POLYNOMIALS
Shiping, C. & Xinyu, G., 2023, I: Journal of Classical Analysis. 22, 1, s. 45-53 9 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang2 Link åbnes på en ny fane Citationer (Scopus)