TY  - RPRT
TI  - Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
AU  - Johan Lidén Eddeland
AU  - Koen Claessen
AU  - Nicholas Smallbone
AU  - Zahra Ramezani
AU  - Sajed Miremadi
AU  - Knut Åkesson
PY  - 2019
UR  - https://arxiv.org/abs/1910.08306
ID  - 1910.08306
ER  -