Transition Power Abstractions for Deep Counterexample Detection.

Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina

Browse the full TACAS paper archive.