CTL Model Update: Semantics, Computations and Implementation.

Yulin Ding, Yan Zhang

Browse the full ECAI paper archive.