Reachability for Updatable Timed Automata made faster and more effective.

Paul Gastin Sayan Mukherjee B. Srivathsan

Published in: CoRR (2020)

Keyphrases

timed automata
highly efficient
machine learning
high quality
computationally efficient
information retrieval
multimedia