Learning regular sets from queries and counterexamples

• Minimal History-Deterministic Co-Büchi Automata: Congruences and Passive Learning

  2025 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science semigroups and automata theory Open access

  3

  citations
• Constructing Deterministic Parity Automata from Positive and Negative Examples

  2024 TheoretiCS article Computer Science semigroups and automata theory Open access

  8

  citations
• Learning Explainable and Better Performing Representations of POMDP Strategies

  2024 Lecture notes in computer science conference-paper Computer Science Reinforcement Learning in Robotics Open access

  5

  citations
• Approximately Learning Quantum Automata

  2023 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory

  0

  citations
• Fast computations on ordered nominal sets

  2022 Theoretical Computer Science article Computer Science semigroups and automata theory Open access

  2

  citations
• Residuality and Learning for Nondeterministic Nominal Automata

  2022 Logical Methods in Computer Science article Computer Science semigroups and automata theory Open access

  1

  citations
• An interdisciplinary comparison of sequence modeling methods for next-element prediction

  2020 Software & Systems Modeling article Business, Management and Accounting Business Process Modeling and Analysis Open access

  57

  citations
• Learning One-Clock Timed Automata

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  33

  citations

8 results