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

Reachability in Continuous Pushdown VASS

Formal Languages and Automata Theory
Avatar
A. R. Balasubramanian
975 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
797 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
810 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
803 views
Determinization of Integral Discounted-Sum Automata is Decidable

Determinization of Integral Discounted-Sum Aut...

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

Visualizing a Nondeterministic to Deterministi...

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

Bandwidth of Timed Automata: 3 Classes

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

Acyclic Petri and Workflow Nets with Resets

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

Conflict-Aware Active Automata Learning

Formal Languages and Automata Theory
Avatar
Tiago Ferreira
804 views