Formal Languages and Automata Theory
Normal Forms for Elements of the ${}^*$-Contin...
Formal Languages and Automata TheoryMark Hopkins
204 views
Reachability in Continuous Pushdown VASS
Formal Languages and Automata TheoryA. R. Balasubramanian
195 views
Enumerating regular languages in radix order :...
Formal Languages and Automata TheoryNadime Francis
193 views
Reduced-Complexity Verification for K-Step and...
Formal Languages and Automata TheoryXiaoyan Li
212 views
New Lower Bounds for Reachability in Vector Ad...
Formal Languages and Automata TheoryWojciech Czerwiski
186 views
Determinization of Integral Discounted-Sum Aut...
Formal Languages and Automata TheoryShaull Almagor
198 views
Visualizing a Nondeterministic to Deterministi...
Formal Languages and Automata TheoryTijana Minic
228 views
A Sound and Complete Refinement Relation for N...
Formal Languages and Automata TheoryDavide Basile
197 views
Acyclic Petri and Workflow Nets with Resets
Formal Languages and Automata TheoryDmitry Chistikov
195 views