Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Oliver Markgraf, Daniel Stan, Anthony W. Lin. Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition). 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 243-265, Springer, 2021. [doi]

This author has not been identified. Look up 'Oliver Markgraf' in GoogleThis author has not been identified. Look up 'Daniel Stan' in GoogleThis author has not been identified. Look up 'Anthony W. Lin' in Google

runs on WebDSL