Probably approximately correct interpolants generation

DOI10.1007/978-3-030-62822-2_9MaRDI QIDQ2169117zbMATH OpenOpenAlexFDO

Authors Bai Xue, Naijun Zhan

Publication date 1 September 2022

Full work available at URL https://doi.org/10.1007/978-3-030-62822-2_9

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Interpolants and Symbolic Model Checking
• scientific article; zbMATH DE number 2086982
• Nonlinear Craig interpolant generation
• Constraint solving for interpolation
• Constraint Solving for Interpolation

This page was built for publication: Probably approximately correct interpolants generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2169117)