Supporting LTL+Past in the BLACK Satisfiability Checker @ TIME 2021

Our paper,

Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker,

joint work with Luca Geatti, Nicola Gigante, and Angelo Montanari, has been published at the TIME 2021 symposium! Check it out here!