Decision Tree Learning in CEGIS-Based Termination Analysis.

Satoshi Kura, Hiroshi Unno, Ichiro Hasuo

Browse the full CAV paper archive.