Synthesis for Polynomial Lasso Programs

DOI10.1007/978-3-642-54013-4_24zbMath1428.68187arXiv1311.4046OpenAlexW1549355248MaRDI QIDQ2938082

Jan Leike, Ashish Kumar Tiwari

Publication date: 13 January 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1311.4046

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Termination of Single-Path Polynomial Loop Programs ⋮ A search-based procedure for nonlinear real arithmetic

This page was built for publication: Synthesis for Polynomial Lasso Programs