Volume: Vol-4136 IAAI-ALA 2025 | Year: 2025

Paper: « ala1 | ala2 | ala3 »

Barrier Certificate Computation using Gaussian Process Optimization

• Xinyu Ge
• Sadegh Soudjani
• Paolo Zuliani

PDF