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

Reachability in Continuous Pushdown VASS

Formal Languages and Automata Theory
Avatar
A. R. Balasubramanian
1114 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
956 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
950 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
943 views
Determinization of Integral Discounted-Sum Automata is Decidable

Determinization of Integral Discounted-Sum Aut...

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

Visualizing a Nondeterministic to Deterministi...

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

Bandwidth of Timed Automata: 3 Classes

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

Acyclic Petri and Workflow Nets with Resets

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

Conflict-Aware Active Automata Learning

Formal Languages and Automata Theory
Avatar
Tiago Ferreira
937 views