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
217 views
Reachability in Continuous Pushdown VASS

Reachability in Continuous Pushdown VASS

Formal Languages and Automata Theory
Avatar
A. R. Balasubramanian
213 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
211 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
229 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
203 views
Determinization of Integral Discounted-Sum Automata is Decidable

Determinization of Integral Discounted-Sum Aut...

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

Visualizing a Nondeterministic to Deterministi...

Formal Languages and Automata Theory
Avatar
Tijana Minic
245 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
214 views
Bandwidth of Timed Automata: 3 Classes

Bandwidth of Timed Automata: 3 Classes

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

Acyclic Petri and Workflow Nets with Resets

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

Conflict-Aware Active Automata Learning

Formal Languages and Automata Theory
Avatar
Tiago Ferreira
236 views