CTLフォーミュラの効率的な学習手法

与えられた正例と負例のKripke構造から、それらを区別するCTLフォーミュラを効率的に見つける手法を提案する。