Extension of a decomposition method for a global LTL specification.

Ioana Hustiu, Marius Kloetzer, Cristian Mahulea

Browse the full ETFA paper archive.