Split Transition Power Abstraction for Unbounded Safety.

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

Browse the full FMCAD paper archive.