ATVA 2025 (series) / ATVA Papers / PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)
PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)Distinguished Tool Paper
This program is tentative and subject to change.
Polynomial quantified entailments with existentially and universally quantified variables arise in many problems of verification and program analysis. We present PolyQEnt which is a tool for solving polynomial quantified entailments in which variables on both sides of the implication are real valued or unbounded integers. Our tool provides a unified framework for polynomial quantified entailment problems that arise in several papers in the literature. Our experimental evaluation over a wide range of benchmarks shows the applicability of the tool as well as its benefits as opposed to simply using existing SMT solvers to solve such constraints.
This program is tentative and subject to change.
Thu 30 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Thu 30 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
14:00 - 15:00 | |||
14:00 30mPaper | Towards Unified Probabilistic Verification and Validation of Vision based Autonomy ATVA Papers Jordan Peper University of Florida, USA, Yan Miao University of Illinois Urbana-Champaign, Sayan Mitra University of Illinois at Urbana-Champaign, Ivan Ruchkin University of Florida | ||
14:30 15mPaper | PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)Distinguished Tool Paper ATVA Papers Krishnendu Chatterjee IST Austria, Amir Kafshdar Goharshady University of Oxford, Ehsan Kafshdar Goharshady , Mehrdad Karrabi , Milad Saadat Sharif University of Technology, Iran, Maximilian Seeliger Vienna University of Technology, Austria, Đorđe Žikelić Singapore Management University, Singapore | ||
14:45 15mPaper | Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing (tool paper) ATVA Papers | ||