Decision Tree Learning in CEGIS-Based Termination Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Satoshi Kura, Hiroshi Unno 0001, Ichiro Hasuo. Decision Tree Learning in CEGIS-Based Termination Analysis. In Alexandra Silva 0001, K. Rustan M. Leino, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Volume 12760 of Lecture Notes in Computer Science, pages 75-98, Springer, 2021. [doi]

This author has not been identified. Look up 'Satoshi Kura' in GoogleThis author has not been identified. Look up 'Hiroshi Unno 0001' in GoogleThis author has not been identified. Look up 'Ichiro Hasuo' in Google

runs on WebDSL