An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update.

Yulin Ding, David Hemer

Browse the full PRICAI paper archive.