Copertina

PolyQEnt: A Polynomial Quantified Entailment Solver

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Goharshady, Ehsan Kafshdar, Karrabi, Mehrdad, Saadat, Milad, Seeliger, Maximilian, Žikelić, Đorđe
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

SuperDP: Differential Privacy Refutation via Supermartingales
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2026)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Automated Approach for Solving Infinite-state Polynomial Reachability Games
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2026)

Refuting Equivalence in Probabilistic Programs with Conditioning
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Solving Long-run Average Reward Robust MDPs via Stochastic Games
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2023)

Qualitative Analysis of $ω$-Regular Objectives on Robust MDPs
di: Asadi, Ali, et al.
Pubblicazione: (2025)

Quantifier Elimination Meets Treewidth
di: Wu, Hao, et al.
Pubblicazione: (2026)

Template-based Program Synthesis using Stellensätze
di: Goharshady, Amir Kafshdar, et al.
Pubblicazione: (2022)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
di: Akshay, S., et al.
Pubblicazione: (2024)

Bidding Games with Charging
di: Avni, Guy, et al.
Pubblicazione: (2024)

Strongly Polynomial Time Complexity of Policy Iteration for $L_\infty$ Robust MDPs
di: Asadi, Ali, et al.
Pubblicazione: (2026)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
di: Cai, Xuran, et al.
Pubblicazione: (2026)

Omega-regular Verification and Control for Distributional Specifications in MDPs
di: Akshay, S., et al.
Pubblicazione: (2025)

Quantifier Elimination and Craig Interpolation, Quantitatively
di: Batz, Kevin, et al.
Pubblicazione: (2025)

Dependent Multiplicities in Dependent Linear Type Theory
di: Doré, Maximilian
Pubblicazione: (2025)

Series-Parallel-Loop Decompositions of Control-flow Graphs
di: Cai, Xuran, et al.
Pubblicazione: (2026)

CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
di: Dobos-Kovács, Mihály, et al.
Pubblicazione: (2025)

Polynomial Universes in Homotopy Type Theory
di: Aberlé, C. B., et al.
Pubblicazione: (2024)

Termination Analysis of Linear-Constraint Programs
di: Ben-Amram, Amir M., et al.
Pubblicazione: (2025)

The Lambda Calculus is Quantifiable
di: Maestracci, Valentin, et al.
Pubblicazione: (2024)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
di: Bharti, Varun, et al.
Pubblicazione: (2025)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
di: Aberlé, C. B.
Pubblicazione: (2026)

A Straightforward Pipeline for Targeted Entailment and Contradiction Detection
di: Sulc, Antonin
Pubblicazione: (2025)

Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
di: Goharshady, Amir K., et al.
Pubblicazione: (2026)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Dynamic IFC Theorems for Free!
di: Algehed, Maximilian, et al.
Pubblicazione: (2020)

Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
di: Brihaye, Thomas, et al.
Pubblicazione: (2025)

Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Stochastic Processes with Expected Stopping Time
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2021)

Kleene algebra with commutativity conditions is undecidable
di: de Amorim, Arthur Azevedo, et al.
Pubblicazione: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
di: Kaye, George
Pubblicazione: (2025)

Impredicativity in Linear Dependent Type Theory
di: Speight, Sam, et al.
Pubblicazione: (2026)

A Probabilistic Choreography Language for PRISM
di: Carbone, Marco, et al.
Pubblicazione: (2025)

Internalizing Representation Independence with Univalence
di: Angiuli, Carlo, et al.
Pubblicazione: (2020)

Denotational Semantics for Probabilistic and Concurrent Programs
di: Zilberstein, Noam, et al.
Pubblicazione: (2025)

Crash-Stop Failures in Asynchronous Multiparty Session Types
di: Barwell, Adam D., et al.
Pubblicazione: (2023)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

Positive Sharing and Abstract Machines
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)