Revisiting local time semantics for networks of timed automata.

R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz

Published in: CoRR (2019)

Keyphrases

timed automata
model checking
reachability analysis
social networks
network structure
theorem proving
theorem prover
neural network
semantic information
complex networks
computer networks
heterogeneous networks
cellular networks
real time systems
network topologies
network size