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