Was Sie vorher wissen sollten
bevor Sie beginnen
Beginnt 13 June 2026 20:54
Endet 13 June 2026
00
Tage
00
Stunden
00
Minuten
00
Sekunden
19 minutes
Optionales Upgrade verfügbar
Not Specified
Lernen Sie in Ihrem eigenen Tempo
Free Video
Optionales Upgrade verfügbar
Übersicht
Explore algebraic geometry tools for synthesizing polynomial loops with guard conditions from invariants, advancing beyond traditional affine loop synthesis methods.
Fachgebiete
Computer Science
