ARCH-COMP20 Category Report - Continuous and Hybrid Systems with Nonlinear Dynamics.
Luca Geretti,Julien Alexandre Dit Sandretto,Matthias Althoff,Luis Benet,Alexandre Chapoutot,Xin Chen,Pieter Collins,Marcelo Forets,Daniel Freire,Fabian Immler,Niklas Kochdumper,David P. Sanders,Christian Schilling ARCH(2020)
AI 理解论文
溯源树
样例