C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Parameter Synthesis Problems for one parametric clock Timed Automata.
Liyun Dai
Taolue Chen
Zhiming Liu
Bican Xia
Naijun Zhan
Kim G. Larsen
Published in:
CoRR (2018)
Keyphrases
</>
timed automata
np complete
model checking
solving problems
input parameters
real world
information retrieval
artificial intelligence
face recognition
application domains