Learning Pomset Automata

We extend the L* algorithm to learn bimonoids recognising pomset languages. We then identify a class of pomset automata that accepts precisely the class of pomset languages recognised by bimonoids and show how to convert between bimonoids and automata.

Natural Language Processing Techniques semigroups and automata theory Machine Learning and Algorithms

Paper

Similar papers

Learning Explainable and Better Performing Representations of POMDP StrategiesAlexander Bork, Debraj Chakraborty, Kush Grover et al.2024 · arXiv (Cornell University) In Library

Learning Explainable and Better Performing Representations of POMDP StrategiesAlexander Bork, Debraj Chakraborty, Kush Grover et al.2024 · Lecture notes in computer science In Library

ALMA: Automata Learner using Modulo 2 Multiplicity AutomataNevin George2023 · arXiv (Cornell University) In Library

On Learning Polynomial Recursive ProgramsAlex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi et al.2024 · Proceedings of the ACM on Programming Languages In Library

Inferring Reward Machines and Transition Machines from Partially Observable Markov Decision ProcessesYufeng Wu, Jiamou Liu, Libo Zhang2025 · arXiv (Cornell University) · 0 citations In Library

Automata LearningHenning Urbat, Lutz Schröder2020 In Library

Branching Pomsets for ChoreographiesLuc Edixhoven, Sung-Shik Jongmans, José Proença et al.2022 · Electronic Proceedings in Theoretical Computer Science In Library

L∗-based learning of Markov decision processes (extended version)Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci et al.2021 · Formal Aspects of Computing In Library

L*-Based Learning of Markov Decision Processes (Extended Version)Martin Tappler, B. Aichernig, Giovanni Bacci et al.2019 · Formal Aspects of Computing · 11 citations In Library

Branching pomsets: Design, expressiveness and applications to choreographiesLuc Edixhoven, Sung-Shik Jongmans, José Proença et al.2023 · Journal of Logical and Algebraic Methods in Programming In Library

Source of record

OpenAlex

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal