Counterexample Validation and Interpolation-Based Refinement for Forest Automata.

Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Toms Vojnar

Browse the full VMCAI paper archive.