We gratefully acknowledge support from
the Simons Foundation and member institutions.

Lucas Carvalho Cordeiro is qualified to endorse.

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space

Felipe R. Monteiro: Is registered as an author of this paper.
Not currently an endorser. (why?)
Lucas Carvalho Cordeiro: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CR, cs.CY, cs.DS, cs.LG, cs.LO, cs.NE, cs.PL, cs.RO, cs.SE. (why?)

Mikhail R. Gadelha, Enrico Steffinlongo and Denis A. Nicole are not registered as owners of this paper. (why?)