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