Synchronized Recursive Timed Automata.

Yuya Uezato Yasuhiko Minamide

Published in: LPAR (2015)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
temporal logic
low cost
real time systems
recursive functions
recursive algorithm
data sets
neural network
datalog programs