|
Author:Pieter CollinsPublications |
---|
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 and Christian Schilling |
Keyphrasescompetition, formal verification, hybrid systems, nonlinear dynamics, tools. |
|
|