:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Devadze, Grigory, Magron, Victor, Streif, Stefan
Format:	Preprint
Published:	2020
Subjects:	Optimization and Control Logic in Computer Science
Online Access:	https://arxiv.org/abs/2006.09884
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Duality theory in linear optimization and its extensions -- formally verified
by: Dvorak, Martin, et al.
Published: (2024)

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

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

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

Quantitative semidefinite certificates for ground-state energies of Pauli Hamiltonians
by: Klep, Igor, et al.
Published: (2026)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
by: Monir, Negar, et al.
Published: (2026)

Some remarks on practical stabilization via CLF-based control under measurement noise
by: Schmidt, Patrick, et al.
Published: (2025)

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

Boolean Variation and Boolean Logic BackPropagation
by: Nguyen, Van Minh
Published: (2023)

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

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

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

Sums of squares certificates for polynomial moment inequalities
by: Klep, Igor, et al.
Published: (2023)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
by: Hsieh, Chiao, et al.
Published: (2025)

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

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

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
by: Magron, Victor, et al.
Published: (2020)

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

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

Certifying Concavity and Monotonicity in Games via Sum-of-Squares Hierarchies
by: Leon, Vincent, et al.
Published: (2025)

Convergence rates for polynomial optimization on set products
by: Magron, Victor
Published: (2025)

Data-Scarce Identification of Game Dynamics via Sum-of-Squares Optimization
by: Sakos, Iosif, et al.
Published: (2023)

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

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

On the Complexity of p-Order Cone Programs
by: Blanco, Víctor, et al.
Published: (2025)

Deep Learning as the Disciplined Construction of Tame Objects
by: Bareilles, Gilles, et al.
Published: (2025)

Time-varying optimal control under measurement errors
by: Schmidt, Patrick, et al.
Published: (2026)

CESAR: Control Envelope Synthesis via Angelic Refinements
by: Kabra, Aditi, et al.
Published: (2023)

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

A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients
by: Wang, Jie, et al.
Published: (2023)

On the Degree Automatability of Sum-of-Squares Proofs
by: Bortolotti, Alex, et al.
Published: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Some remarks on stochastic converse Lyapunov theorems
by: Osinenko, Pavel, et al.
Published: (2025)

Borel selection of dominating hyperplanes
by: Clerico, Eugenio
Published: (2026)

Approximating the order 2 quantum Wasserstein distance using the moment-SOS hierarchy
by: Chhatoi, Saroj Prasad, et al.
Published: (2025)

On the Boundary of the Robust Admissible Set in State and Input Constrained Nonlinear Systems
by: Rußwurm, Franz, et al.
Published: (2025)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
by: Schönig, Stefan, et al.
Published: (2025)