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