Our methods can find a deadlock more efficiently than uninformed searches for some actor-based models.
Leitir sem eru stýrðar af þessum aðferðum finna sjálfheldur fyrir sum líkön á hagkvæmari hátt en óstýrðar leitir.