C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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