SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning. - Martin Bromberger; Chaahat Jain; Christoph Weidenbach (CADE, 2023)

Safety Verification of Tree-Ensemble Policies via Predicate Abstraction. - Chaahat Jain; Lorenzo Cascioli; Laurens Devos; Marcel Vinzent; Marcel Steinmetz; Jesse Davis; Jörg Hoffmann 001 (ECAI, 2024)