C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Incremental Bisimulation Abstraction Refinement.
Lei Song
Lijun Zhang
Holger Hermanns
Jens Chr. Godskesen
Published in:
ACM Trans. Embed. Comput. Syst. (2014)
Keyphrases
</>
incremental learning
high level
database
data driven
decision theoretic planning
incremental version
real time
information retrieval
genetic algorithm
search algorithm
artificial neural networks
equivalence relation
refinement process