An Inductive Approach for Modal Transition System Refinement.

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel

Browse the full ICLP paper archive.