Imagen de Portada

Counterexample-Guided Interval Weakening

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Andrew, Ben M., Dennis, Louise A., Fisher, Michael, Farrell, Marie
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Weakening Goals in Logical Specifications
por: Andrew, Ben M.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

Visualising CTL Witnesses and Counterexamples -- Extended Version
por: Rensink, Arend
Publicado: (2026)

Synthesis with Guided Environments
por: Kupferman, Orna, et al.
Publicado: (2025)

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

Oracle modalities
por: Swan, Andrew W
Publicado: (2024)

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

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

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

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
por: Baumeister, Jan, et al.
Publicado: (2025)

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

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

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

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

Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
por: Bartal, Uriya, et al.
Publicado: (2026)

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

Compositional pre-processing for automated reasoning in dependent type theory
por: Blot, Valentin, et al.
Publicado: (2022)

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