Login / Signup
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