:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Andrew, Ben M., Dennis, Louise A., Fisher, Michael, Farrell, Marie
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2604.24540
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Weakening Goals in Logical Specifications
by: Andrew, Ben M.
Published: (2025)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
by: Benjumea, Diana C., et al.
Published: (2025)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
by: König, Barbara, et al.
Published: (2025)

Undecidability of Linear Logics without Weakening
by: Suzuki, Jun, et al.
Published: (2025)

Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics
by: Boetius, David, et al.
Published: (2024)

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

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
by: Li, Ying, et al.
Published: (2024)

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
by: Farrell, Marie, et al.
Published: (2021)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
by: Winter, Sarah, et al.
Published: (2024)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
by: Kohlen, Bram, et al.
Published: (2025)

Visualising CTL Witnesses and Counterexamples -- Extended Version
by: Rensink, Arend
Published: (2026)

Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
by: Guelev, Dimitar P.
Published: (2025)

Towards A Catalogue of Requirement Patterns for Space Robotic Missions
by: Etumi, Mahdi, et al.
Published: (2025)

Explicit Weakening
by: Wadler, Philip
Published: (2024)

A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)

Oracle modalities
by: Swan, Andrew W
Published: (2024)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
by: Mironov, Andrew M.
Published: (2025)

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
by: Cristiá, Maximiliano, et al.
Published: (2021)

Synthesis with Guided Environments
by: Kupferman, Orna, et al.
Published: (2025)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
by: Pinsker, Michael, et al.
Published: (2025)

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

Symbolic Model Checking using Intervals of Vectors
by: Morard, Damien, et al.
Published: (2026)

An order out of nowhere: a new algorithm for infinite-domain CSPs
by: Mottet, Antoine, et al.
Published: (2023)

Simulation of Random LR Fuzzy Intervals
by: Romaniuk, Maciej, et al.
Published: (2025)

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

Pebble Games and Algebraic Proof Systems
by: Jaser, Lisa-Marie, et al.
Published: (2025)

Information Flow Guided Synthesis with Unbounded Communication
by: Finkbeiner, Bernd, et al.
Published: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Syntax and semantics of multi-adjoint normal logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Extended multi-adjoint logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

Unifying Graded Linear Logic and Differential Operators
by: Breuvart, Flavien, et al.
Published: (2024)

Maths with Coq in L1, a pedagogical experiment
by: Kerjean, Marie, et al.
Published: (2025)

Towards Language Model Guided TLA+ Proof Automation
by: Zhou, Yuhao, et al.
Published: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
by: Mannucci, Mirco A., et al.
Published: (2026)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)