Imagen de Portada

Verification Challenge: Fractional Cascading for Multi-Nuclide Grid Lookup

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Siegel, Andrew R.
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science D.2.4; I.6
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Formal verification of tree-based machine learning models for lateral spreading
por: Kumar, Krishna
Publicado: (2026)

Verifying Procedural Programs via Constrained Rewriting Induction
por: Fuhs, Carsten, et al.
Publicado: (2014)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
por: Mustafa, Daham, et al.
Publicado: (2026)

Verification of Unbounded Client-Server Systems with Distinguishable Clients
por: Phawade, Ramchandra, et al.
Publicado: (2026)

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
por: Abdulla, Parosh Aziz, et al.
Publicado: (2026)

Definite Descriptions and Hybrid Tense Logic
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

Logic interpretations of ANN partition cells
por: Schmitt, Ingo
Publicado: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
por: Cate, Balder ten, et al.
Publicado: (2024)

An ACL2s Interface to Z3
por: Walter, Andrew T., et al.
Publicado: (2025)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
por: Filho, Francisco Mateus Rocha, et al.
Publicado: (2024)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
por: Júnior, Antônio Carlos Souza Ferreira, et al.
Publicado: (2024)

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies
por: Weitkämper, Felix
Publicado: (2022)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
por: Zhang, Xindi, et al.
Publicado: (2025)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
por: Muvvala, Karan, et al.
Publicado: (2024)

Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems
por: Koll, Charles, et al.
Publicado: (2025)

Locality in Residuated-Lattice Structures
por: Carr, James
Publicado: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
por: Coniglio, M. E., et al.
Publicado: (2026)

Formal Verification of Diffusion Auctions
por: Galimullin, Rustam, et al.
Publicado: (2025)

Provably Correct Systems: Community, connections, and citations
por: Bowen, Jonathan P.
Publicado: (2015)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
por: Jaakkola, Reijo, et al.
Publicado: (2024)

Parf: Adaptive Parameter Refining for Abstract Interpretation
por: Wang, Zhongyi, et al.
Publicado: (2024)

Reachability and Safety Games under TSO Semantics
por: Spengler, Stephan
Publicado: (2024)

Why does it fail? Explanation of verification failures
por: Eriksson, Lars-Henrik
Publicado: (2026)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
por: Ceragioli, Leonardo, et al.
Publicado: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
por: Ceragioli, Leonardo, et al.
Publicado: (2025)

Verification of E-Voting Algorithms in Dafny
por: Büttner, Robert, et al.
Publicado: (2025)

LLM-as-a-Fuzzy-Judge: Fine-Tuning Large Language Models as a Clinical Evaluation Judge with Fuzzy Logic
por: Zheng, Weibing, et al.
Publicado: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
por: Barlatier, Patrick, et al.
Publicado: (2025)

Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
por: Rashie, Devakh, et al.
Publicado: (2026)

Morita Rigidity for Kleene Algebras
por: Serafin, Luke
Publicado: (2025)

Modal Logics -- RNmatrices vs. Nmatrices
por: Coniglio, Marcelo E., et al.
Publicado: (2024)

Robust Computation Tree Logic
por: Nayak, Satya Prakash, et al.
Publicado: (2022)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
por: Catta, Davide, et al.
Publicado: (2026)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
por: Reinhard, Tobias
Publicado: (2024)

Interpretable classifiers for tabular data via discretization and feature selection
por: Jaakkola, Reijo, et al.
Publicado: (2024)

A Sequent Calculus for General Inductive Definitions
por: Eede, Robbe Van den, et al.
Publicado: (2026)

How Artificial Intelligence Leads to Knowledge Why: An Inquiry Inspired by Aristotle's Posterior Analytics
por: Eelink, Guus, et al.
Publicado: (2025)

Human Conditional Reasoning in Answer Set Programming
por: Sakama, Chiaki
Publicado: (2023)

Relative Expressiveness of Defeasible Logics II
por: Maher, Michael J.
Publicado: (2021)

Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
por: Carr, Lucas, et al.
Publicado: (2024)