TY  - RPRT
TI  - Synthesizing Adaptive Test Strategies from Temporal Logic Specifications
AU  - Roderick Bloem
AU  - Goerschwin Fey
AU  - Fabian Greif
AU  - Robert Koenighofer
AU  - Ingo Pill
AU  - Heinz Riener
AU  - Franz Roeck
PY  - 2018
UR  - https://arxiv.org/abs/1809.01607
ID  - 1809.01607
ER  -