Formal Languages and Automata Theory

Normal Forms for Elements of the ${}^*$-Continuous Kleene Algebras $K\mathop{\otimes_{\cal R}} C_2'$

Normal Forms for Elements of the ${}^*$-Contin...

Formal Languages and Automata Theory
Avatar
Mark Hopkins
237 views
Reachability in Continuous Pushdown VASS

Reachability in Continuous Pushdown VASS

Formal Languages and Automata Theory
Avatar
A. R. Balasubramanian
232 views
Enumerating regular languages in radix order : Revisiting the Ackerman-Shallit algorithm

Enumerating regular languages in radix order :...

Formal Languages and Automata Theory
Avatar
Nadime Francis
222 views
Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems

Reduced-Complexity Verification for K-Step and...

Formal Languages and Automata Theory
Avatar
Xiaoyan Li
239 views
New Lower Bounds for Reachability in Vector Addition Systems

New Lower Bounds for Reachability in Vector Ad...

Formal Languages and Automata Theory
Avatar
Wojciech Czerwiski
218 views
Determinization of Integral Discounted-Sum Automata is Decidable

Determinization of Integral Discounted-Sum Aut...

Formal Languages and Automata Theory
Avatar
Shaull Almagor
224 views
Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation

Visualizing a Nondeterministic to Deterministi...

Formal Languages and Automata Theory
Avatar
Tijana Minic
256 views
A Sound and Complete Refinement Relation for Non-reducible Modal Transition Systems

A Sound and Complete Refinement Relation for N...

Formal Languages and Automata Theory
Avatar
Davide Basile
226 views
Bandwidth of Timed Automata: 3 Classes

Bandwidth of Timed Automata: 3 Classes

Formal Languages and Automata Theory
Avatar
Eugene Asarin
248 views
Acyclic Petri and Workflow Nets with Resets

Acyclic Petri and Workflow Nets with Resets

Formal Languages and Automata Theory
Avatar
Dmitry Chistikov
217 views
Conflict-Aware Active Automata Learning

Conflict-Aware Active Automata Learning

Formal Languages and Automata Theory
Avatar
Tiago Ferreira
245 views