Skip to main content

5 Result(s)

within Gerco van Heerdt Remove this filter Mathematical Logic and Formal Languages Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Categorical Framework for Learning Generalised Tree Automata

    Automata learning is a popular technique used to automatically construct an automaton model from queries. Much research went into devising ad hoc adaptations of algorithms for different types of automata. The ...

    Gerco van Heerdt, Tobias Kappé, Jurriaan Rot… in Coalgebraic Methods in Computer Science (2022)

  2. Chapter and Conference Paper

    Learning Pomset Automata

    We extend the \(\mathtt {L}^{\!\star }\) L

    Gerco van Heerdt, Tobias Kappé, Jurriaan Rot… in Foundations of Software Science and Comput… (2021)

    Download PDF (444 KB)

  3. No Access

    Chapter and Conference Paper

    Learning Automata with Side-Effects

    Automata learning has been successfully applied in the verification of hardware and software. The size of the automaton model learned is a bottleneck for scalability, and hence optimizations that enable learni...

    Gerco van Heerdt, Matteo Sammartino… in Coalgebraic Methods in Computer Science (2020)

  4. No Access

    Chapter and Conference Paper

    Convex Language Semantics for Nondeterministic Probabilistic Automata

    We explore language semantics for automata combining probabilistic and nondeterministic behaviors. We first show that there are precisely two natural semantics for probabilistic automata with nondeterminism. F...

    Gerco van Heerdt, Justin Hsu, Joël Ouaknine… in Theoretical Aspects of Computing – ICTAC 2… (2018)

  5. No Access

    Chapter

    Learning to Coordinate

    Reo is a visual language of connectors that originated in component-based software engineering. It is a flexible and intuitive language, yet powerful and capable of expressing complex patterns of composition. ...

    Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva in It's All About Coordination (2018)