Advances and trends in artificial intelligence from theory to practice: 32nd international conference on industrial, engineering and other applications of applied intelligent syste...

por Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis
Publicado 2019

Synthesizing adaptive test strategies from temporal logic specifications

por Bloem, Roderick, Fey, Goerschwin, Greif, Fabian, Könighofer, Robert, Pill, Ingo, Riener, Heinz, Röck, Franz
Publicado 2019