Exposing previously undetectable faults in deep neural networks. - Isaac Dunn; Hadrien Pouget; Daniel Kroening; Tom Melham (ISSTA, 2021)

Ranking Policy Decisions. - Hadrien Pouget; Hana Chockler; Youcheng Sun; Daniel Kroening (NeurIPS, 2021)