Copertina

Duality theory in linear optimization and its extensions -- formally verified

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dvorak, Martin, Kolmogorov, Vladimir
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Optimization and Control Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
di: Devadze, Grigory, et al.
Pubblicazione: (2020)

Towards Automatic Linearization via SMT Solving
di: Cao, Jian, et al.
Pubblicazione: (2024)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
di: Badings, Thom, et al.
Pubblicazione: (2025)

Barrier Certificates for Uncertain Temporal Specifications
di: Mamduhi, Mohammad H., et al.
Pubblicazione: (2026)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
di: Li, Xiakun, et al.
Pubblicazione: (2026)

Determining the Winner in Alternating-Move Games
di: Bellaïche, Itamar, et al.
Pubblicazione: (2026)

Boolean Variation and Boolean Logic BackPropagation
di: Nguyen, Van Minh
Pubblicazione: (2023)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
di: Zhang, Zhiwei, et al.
Pubblicazione: (2025)

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
di: Lourenço, Bruno F., et al.
Pubblicazione: (2026)

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
di: Roberson, David E., et al.
Pubblicazione: (2023)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
di: So, Oswin, et al.
Pubblicazione: (2026)

A Unifying Framework for Global Optimization: From Theory to Formalization
di: Serré, Gaëtan, et al.
Pubblicazione: (2025)

SMLP: Symbolic Machine Learning Prover (User Manual)
di: Brauße, Franz, et al.
Pubblicazione: (2024)

SMLP: Symbolic Machine Learning Prover
di: Brauße, Franz, et al.
Pubblicazione: (2024)

A formal specification of the desired software behaviour of the Princess Marijke lock complex
di: Groote, Jan Friso, et al.
Pubblicazione: (2025)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
di: Dvorak, Martin
Pubblicazione: (2026)

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
di: Zhou, Can, et al.
Pubblicazione: (2026)

Generalized fluctuation bounds for stochastic algorithms in the presence of compactness
di: Neri, Morenikeji, et al.
Pubblicazione: (2026)

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
di: Dvorak, Martin, et al.
Pubblicazione: (2025)

Specifying a Game-Theoretic Extensive Form as an Abstract 5-ary Relation
di: Streufert, Peter A.
Pubblicazione: (2021)

Borel selection of dominating hyperplanes
di: Clerico, Eugenio
Pubblicazione: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
di: Craig, Andrew, et al.
Pubblicazione: (2025)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
di: Hartonas, Chrysafis
Pubblicazione: (2021)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
di: de Groot, Jim, et al.
Pubblicazione: (2026)

Multimaterial topology optimization for finite strain elastoplasticity: theory, methods, and applications
di: Jia, Yingqi, et al.
Pubblicazione: (2025)

Numerical optimal control for delay differential equations: A simultaneous approach based on linearization of the delayed state
di: Ritschel, Tobias K. S., et al.
Pubblicazione: (2024)

Topological Dualities for Modal Algebras
di: Collinson, Matthew
Pubblicazione: (2026)

Incompleteness for stably computable formal systems
di: Savelyev, Yasha
Pubblicazione: (2022)

Generalized minimum 0-extension problem and discrete convexity
di: Dvorak, Martin, et al.
Pubblicazione: (2021)

A quantitative Robbins-Siegmund theorem
di: Neri, Morenikeji, et al.
Pubblicazione: (2024)

An abstract effective convergence theorem for stochastic processes, with applications to stochastic approximation
di: Neri, Morenikeji, et al.
Pubblicazione: (2025)

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
di: Lindenhovius, Bert, et al.
Pubblicazione: (2025)

Bilateral base-extension semantics
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Inferentialist Resource Semantics
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Base-extension Semantics for Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

A linear proof language for second-order intuitionistic linear logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
di: Hafez, Ahmad, et al.
Pubblicazione: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
di: Hadjiloizou, Loizos, et al.
Pubblicazione: (2024)