Josu
Doncel Vicente
Technical University of Denmark
Kongens Lyngby, DinamarcaPublicacions en col·laboració amb investigadors/es de Technical University of Denmark (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)