C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework.
Zhifeng Lai
S. C. Cheung
Yunfei Jiang
Published in:
QSIC (2006)
Keyphrases
</>
dynamic model
model checking
genetic algorithm
temporal logic
automated verification
experimental data
symbolic model checking
timed automata
artifact centric
concurrent systems
computation tree logic
domain independent
formal specification
adaptive control
temporal properties
linear temporal logic