cs.FL updates on arXiv.org rss.arxiv.org

Designing and Comparing RPQ Semantics

arxiv.org·1d

ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair

arxiv.org·1d

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets

arxiv.org·2d

Implementation of Polynomial NP-Complete Algorithms Based on the NP Verifier Simulation Framework

arxiv.org·2d

Implementability of Global Distributed Protocols modulo Network Architectures

arxiv.org·2d

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking

arxiv.org·3d

The Similarity Control Problem with Required Events

arxiv.org·3d

Eve-positional languages: putting order into B\"uchi automata

arxiv.org·3d

Automata on Graph Alphabets

arxiv.org·3d

Wheeler Bisimulations

arxiv.org·4d

Computing the Reachability Value of Posterior-Deterministic POMDPs

arxiv.org·4d

An Automata-Based Approach to Games with $\omega$-Automatic Preferences

arxiv.org·4d

Profinite trees, through Lawvere theories and the lambda-calculus

arxiv.org·4d

Templated Assembly Theory: An Extension of the Canonical Assembly Index with Block-Compressed Template

arxiv.org·1w

A categorical framework for cellular automata

arxiv.org·1w

Reasoning about Reasoning: BAPO Bounds on Chain-of-Thought Token Complexity in LLMs

arxiv.org·1w

Formal Evidence Generation for Assurance Cases for Robotic Software Models

arxiv.org·1w

A Probabilistic Model-Checking Framework for Cognitive Assessment and Training

arxiv.org·1w

Compiling Quantum Regular Language States

arxiv.org·1w

A vector logic for intensional formal semantics

arxiv.org·1w

Loading...Loading more...