Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programing.

Dung Tuan Ho, Min Zhang, Kazuhiro Ogata

Browse the full ILP paper archive.