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