Synthesizing Clock-Efficient Timed Automata.

Neda Saeedloei Feliks Kluzniak

Published in: IFM (2020)

Keyphrases

timed automata
high speed
neural network
software engineering
computer vision
website
hidden markov models
state space
computationally efficient
power consumption