Verification papers

Some selection of verification related papers (computer science, math, optimization, control) from Arxiv and DBLP.

[Verification papers @verif_papers]

Modeling, Inference, and Prediction in Mobility-Based Compartmental Models for Epidemiology https://t.co/GDsP5pnYAF

[Verification papers @verif_papers]

Error analysis of an L2-type method on graded meshes for semilinear subdiffusion equations https://t.co/oZpBCcZ5Kh

[Verification papers @verif_papers]

MATWA: A Web Toolkit for Matching under Preferences https://t.co/kXS9OCHl3a

[Verification papers @verif_papers]

A Lower Bound for Light Spanners in General Graphs https://t.co/47rupB8xXq

[Verification papers @verif_papers]

Stability of the Theta Method for Systems with Multiple Time-Delayed Variables https://t.co/4xgYAOASVR

[Verification papers @verif_papers]

Local times of self-intersection and sample path properties of Volterra Gaussian processes https://t.co/gjwUjjpk1H

[Verification papers @verif_papers]

A high-order procedure for computing globally optimal Wannier functions in one-dimensional crystalline insulators https://t.co/HA5W9KinH2

[Verification papers @verif_papers]

Revenue Management with Calendar-Aware and Dependent Demands: Asymptotically Tight Fluid Approximations https://t.co/oLsRYsXoCe

[Verification papers @verif_papers]

Formalising inductive and coinductive containers https://t.co/Zv8J1NnYjz

[Verification papers @verif_papers]

SoK: A Literature and Engineering Review of Regular Expression Denial of Service https://t.co/FfJ5QYMUQ3

[Verification papers @verif_papers]

Differentiable Discrete Event Simulation for Queuing Network Control https://t.co/uEEHKfSd29

[Verification papers @verif_papers]

Better bounds on Grothendieck constants of finite orders https://t.co/UulWneIrkH

[Verification papers @verif_papers]

A Deep Generative Learning Approach for Two-stage Adaptive Robust Optimization https://t.co/t1s8kRpnBr

[Verification papers @verif_papers]

Design of CANSAT for Air Quality Monitoring for an altitude of 900 meters https://t.co/TciBrAbTRb

[Verification papers @verif_papers]

Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report) https://t.co/dPiT1b2RhH

[Verification papers @verif_papers]

Quantum optimal transport with convex regularization https://t.co/E05apGqoN9

[Verification papers @verif_papers]

Advances in Cislunar Periodic Solutions via Taylor Polynomial Maps https://t.co/Eaobbs6aPx

[Verification papers @verif_papers]

Gathering Information about a Graph by Counting Walks from a Single Vertex https://t.co/NnAl0gRKqQ

[Verification papers @verif_papers]

Numerical spectral analysis of Cauchy-type inverse problems: A probabilistic approach https://t.co/QnXGlkTmsL

[Verification papers @verif_papers]

Predicting quantum channels over general product distributions https://t.co/RwxQGxA702