Josu
Doncel Vicente
Technical University of Denmark
Kongens Lyngby, DinamarcaPublikationen in Zusammenarbeit mit Forschern von 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)