Dynamic Extrapolation in Extended Timed Automata.

Nicolaj Ø. Jensen Peter Gjøl Jensen Kim G. Larsen

Published in: ICFEM (2023)

Keyphrases

timed automata
model checking
artificial intelligence
reachability analysis
neural network
information retrieval
dynamic environments
data sets
data mining
data structure
evolutionary algorithm
low cost
dynamically changing