scientific article; zbMATH DE number 7453082

MaRDI QIDQ5020531

Ryo Yoshinaka, Kaizaburo Chubachi, Diptarama Hendrian, Ayumi Shinohara

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1902.07417

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Inferring Symbolic Automata

Uses Software

• Rex

Cites Work

• Unnamed Item
• Learning register automata: from languages to program structures
• Learning regular sets from queries and counterexamples
• Learning regular languages using RFSAs.
• Inference of finite automata using homing sequences
• An efficient query learning algorithm for ordered binary decision diagrams
• Learning Regular Languages over Large Ordered Alphabets
• Learning Symbolic Automata
• Learning Meets Verification
• A Generic Algorithm for Learning Symbolic Automata from Membership Queries

This page was built for publication: