A Logic Approach for LTL System Modification.

Yulin Ding, Yan Zhang

Browse the full ISMIS paper archive.