Full Text Available
Access Full Text at Repository
Search Results - ArXiv cs.AR Recent Papers
Search alternatives:
- papers »
-
A Cross-Layered Multi-Drone Coordination for Medical Supply Delivery during Disaster Response Management
Published in ArXiv cs.MA Recent Papers (2026)Subjects: “…ArXiv cs.MA Recent Papers…”
Get full text
Online Article RSS Article -
Shields to Guarantee Probabilistic Safety in MDPs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Constant time testability of first-order logic with modulo counting on finitary graphs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Preservation Theorems in Semiring Semantics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Coherency through formalisations of Structured Natural Language, A case study on FRETish
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Separation Logic for Verifying Physical Collisions of CNC Programs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
The Polynomial Counting Capabilities of Message Passing Neural Networks
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
A Deductive Refinement Calculus for Differential-Algebraic Programs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Just Previsions
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Formal Verification of Imperative First-Class Functions in Move
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Combining Mechanical and Agentic Specification Inference for Move
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Weighted Rules under the Stable Model Semantics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Categorical Message Passing Language (CaMPL) for programmers
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Barrier Certificates for Uncertain Temporal Specifications
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Dsat: A Native SAT Solver for Discrete Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text