On-the-Fly Determinization of Bounded Networks of Timed Automata.

Bernhard K. Aichernig Florian Lorber

Published in: TASE (2016)

Keyphrases

timed automata
model checking
social networks
network design
complex networks
network structure
reachability analysis
theorem prover
databases
data sets
theorem proving
heterogeneous networks
first order logic
quality of service
knowledge representation
telecommunication networks
genetic algorithm