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

Shield synthesis

por Könighofer, Bettina, Alshiekh, Mohammed, Bloem, Roderick, Humphrey, Laura, Könighofer, Robert, Topcu, Ufuk, Wang, Chao
Publicado 2017