Wed, 01 Jan 2020 00:00:00 +0100

QCTL model-checking with QBF solvers. CoRR abs/2010.03185 (2020)