An Efficient Algorithm for Learning Event-Recording Automata

DOI10.1007/978-3-642-24372-1_35zbMath1348.68077OpenAlexW135782543MaRDI QIDQ3172935

Jun Sun, Étienne André, Jin-Song Dong, Yang Liu, Shang-Wei Lin

Publication date: 7 October 2011

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://ink.library.smu.edu.sg/sis_research/5026

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Model checking approach to automated planning

Uses Software

• PAT

This page was built for publication: An Efficient Algorithm for Learning Event-Recording Automata