Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Simple
Original
Articles with tag
Formal Languages and Automata Theory
Trading Determinism for Noncommutativity in Edmonds' Problem
Yesterday by
V. Arvind
and
others
Computational Complexity
,
Formal Languages and Automata Theory
Learning Deterministic Multi-Clock Timed Automata
Yesterday by
Yu Teng
and
others
Formal Languages and Automata Theory
On asymptotically automatic sequences
Yesterday by
Jakub Konieczny
Number Theory
,
Formal Languages and Automata Theory
A polynomial algorithm deciding the complete reachability and quadratic reaching thresholds
3 days ago by
Robert Ferens
and
Marek Szykuła
Formal Languages and Automata Theory
The decidability of the genus of regular languages and directed emulators
3 days ago by
Guillaume Bonfante
and
Florian Deloup
Formal Languages and Automata Theory
On the minimal memory set of cellular automata
3 days ago by
Alonso Castillo-Ramirez
and
Eduardo Veliz-Quintero
Cellular Automata and Lattice Gases
,
Formal Languages and Automata Theory
Taking Complete Finite Prefixes To High Level, Symbolically
3 days ago by
Nick Würdemann
and
others
Logic in Computer Science
,
Formal Languages and Automata Theory
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
4 days ago by
Simon Chu
and
others
Software Engineering
,
Formal Languages and Automata Theory
Kleene Theorem for Higher-Dimensional Automata
4 days ago by
Uli Fahrenberg
and
others
Formal Languages and Automata Theory
,
Algebraic Topology
Function spaces for orbit-finite sets
4 days ago by
Mikołaj Bojańczyk
and
others
Logic in Computer Science
,
Formal Languages and Automata Theory
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
4 days ago by
Linpeng Zhang
and
others
Logic in Computer Science
,
Cryptography and Security
Computable Bounds and Monte Carlo Estimates of the Expected Edit Distance
6 days ago by
Gianfranco Bilardi
and
Michele Schimd
Formal Languages and Automata Theory
,
Data Structures and Algorithms
Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers
7 days ago by
Andy Yang
and
David Chiang
Logic in Computer Science
,
Computation and Language
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
7 days ago by
Xiaodong Jia
and
Gang Tan
Programming Languages
,
Formal Languages and Automata Theory
Implicit automata in λ-calculi III: affine planar string-to-string functions
7 days ago by
Cécilia Pradic
and
Ian Price
Logic in Computer Science
,
Formal Languages and Automata Theory
Equivalence and Similarity Refutation for Probabilistic Programs
4 April 2024 by
Krishnendu Chatterjee
and
others
Programming Languages
,
Formal Languages and Automata Theory
Illustrating Finite Automata with Grail+ and TikZ
3 April 2024 by
Alastair May
and
Taylor Smith
Formal Languages and Automata Theory
The Identity Problem in virtually solvable matrix groups over algebraic numbers
2 April 2024 by
Corentin Bodart
and
Ruiwen Dong
Group Theory
,
Discrete Mathematics
Transformers as Transducers
2 April 2024 by
Lena Strobl
and
others
Formal Languages and Automata Theory
,
Machine Learning
Decidable problems in substitution shifts
2 April 2024 by
Marie-Pierre Béal
and
others
Dynamical Systems
,
Formal Languages and Automata Theory
LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications
1 April 2024 by
Jiming Ren
and
others
Robotics
,
Formal Languages and Automata Theory
On universality of regular realizability problems
1 April 2024 by
Alexander Rubtsov
and
Michael Vyalyi
Formal Languages and Automata Theory
From geometry to generating functions: rectangulations and permutations
29 March 2024 by
Andrei Asinowski
and
Cyril Banderier
Discrete Mathematics
,
Computational Geometry
Probabilistic automatic complexity of finite strings
28 March 2024 by
Kenneth Gill
Formal Languages and Automata Theory
,
Logic
Logic and Languages of Higher-Dimensional Automata
28 March 2024 by
Amazigh Amrane
and
others
Formal Languages and Automata Theory
,
Logic in Computer Science
Effective equation solving, constraints and growth in virtually abelian groups
28 March 2024 by
Laura Ciobanu
and
others
Group Theory
,
Discrete Mathematics
Mata, a Fast and Simple Finite Automata Library (Technical Report)
27 March 2024 by
David Chocholatý
and
others
Formal Languages and Automata Theory
Complete Multiparty Session Type Projection with Automata
27 March 2024 by
Elaine Li
and
others
Formal Languages and Automata Theory
,
Distributed, Parallel, and Cluster Computing
Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies
27 March 2024 by
Hazhar Rahmani
and
others
Robotics
,
Artificial Intelligence
Presenting Interval Pomsets with Interfaces
25 March 2024 by
Amazigh Amrane
and
others
Formal Languages and Automata Theory
Load more