Evènement pour le groupe
Séminaire Méthodes Formelles
Date | 2021-06-01 07:00-07:00 |
Titre | Learning Pomset Automata |
Résumé | Abstract: We adapt the L* algorithm to learn bimonoids recognising pomset languages. We then show how to convert between bimonoids and a class of pomset automata that accepts precisely the class of pomset languages recognised by bimonoids. |
Lieu | Online |
Orateur | Gerco van Heerdt |
Email | http://www.gerco.me/ |
Url | University College London |
Aucun document lié à cet événement.
RetourRetour à l'index