MATHMODE: Applied Mathematical Modeling, Statistics, and Optimization
Scuola IMT Alti Studi Lucca
Lucca, ItaliaPublications en collaboration avec des chercheurs de Scuola IMT Alti Studi Lucca (1)
2019
-
UTOPIC: Under-approximation through optimal control
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)