Claudia Cauli,
Meng Li,
Nir Piterman,
Oksana Tkachuk
33rd International Conference on Computer-Aided Verification - 2021-01-01