Reachability for Updatable Timed Automata Made Faster and More Effective.

Paul Gastin Sayan Mukherjee B. Srivathsan

Published in: FSTTCS (2020)

Keyphrases

timed automata
real time
high quality
state space
neural network
artificial intelligence
website
multiscale
cost effective