Johan Lidén Eddeland

Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans

Knut Åkesson, Nicholas Smallbone, Koen Claessen, 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.