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

Reachability in Continuous Pushdown VASS

Formal Languages and Automata Theory
Avatar
A. R. Balasubramanian
1104 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
944 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
941 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
932 views
Determinization of Integral Discounted-Sum Automata is Decidable

Determinization of Integral Discounted-Sum Aut...

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

Visualizing a Nondeterministic to Deterministi...

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

Bandwidth of Timed Automata: 3 Classes

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

Acyclic Petri and Workflow Nets with Resets

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

Conflict-Aware Active Automata Learning

Formal Languages and Automata Theory
Avatar
Tiago Ferreira
926 views