C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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