Gerco van Heerdt

Identifiers

No identifiers captured yet.

Papers (3)

1. A (co)algebraic theory of succinct automata cs.FL · 2019 · author #1
2. Convex Language Semantics for Nondeterministic Probabilistic Automata cs.FL · 2018 · author #1
3. CALF: Categorical Automata Learning Framework cs.FL · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexandra Silva 3 shared papers
• Matteo Sammartino 2 shared papers
• Jo\"el Ouaknine 1 shared papers
• Joshua Moerman 1 shared papers
• Justin Hsu 1 shared papers