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