Parameter Synthesis Problems for Parametric Timed Automata.

Liyun Dai Bo Liu Zhiming Liu Taolue Chen

Published in: CoRR (2018)

Keyphrases

neural network
np complete
benchmark problems
learning algorithm
computer vision
case study
simulated annealing
optimization problems
decision problems
timed automata