An efficient algorithm for learning event-recording automata
In inference of untimed regular languages, given an unknown language to be inferred, an automaton is constructed to accept the unknown language from answers to a set of membership queries each of which asks whether a string is contained in the unknown language. One of the most well-known regular inf...
Saved in:
Main Authors: | LIN, Shang-Wei, ANDRÉ, Étienne, DONG, Jin Song, SUN, Jun, LIU, Yang |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2011
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5026 https://ink.library.smu.edu.sg/context/sis_research/article/6029/viewcontent/An_Efficient_Algorithm_for_Learning_Event_Recording_Automata.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Diamonds are a girl's best friend: Partial order reduction for timed automata with abstractions
by: HANSEN, Henri, et al.
Published: (2014) -
Towards expressive specification and efficient model checking
by: DONG, Jin Song, et al.
Published: (2009) -
Timed automata patterns
by: DONG, Jin Song, et al.
Published: (2008) -
An efficient algorithm for learning event-recording automata
by: Lin, S.-W., et al.
Published: (2013) -
Modeling and verifying hierarchical real-time systems using stateful timed CSP
by: SUN, Jun, et al.
Published: (2013)