JOSU
DONCEL VICENTE
PROFESORADO TITULAR DE UNIVERSIDAD
Technical University of Denmark
Kongens Lyngby, DinamarcaPublicaciones en colaboración con investigadoras/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)