Specification Mining for Asynchronous Controllers.

Javier de San Pedro Thomas Bourgeat Jordi Cortadella

Published in: ASYNC (2016)

Keyphrases

data mining
high level
asynchronous circuits
knowledge discovery
text mining
mining algorithm
state machines
formal specification
pattern mining
web mining
control system
reinforcement learning
data mining methods
controller design
transactional data
state machine
database