Using self-organizing maps to learn hybrid timed automata in absence of discrete events.

Alexander von Birgelen Oliver Niggemann

Published in: ETFA (2017)

Keyphrases

timed automata
model checking
reachability analysis
event detection
case study
temporal patterns
theorem prover
finite number
theorem proving
real time
temporal logic
news stories
real time systems
efficient learning
event sequences
discrete geometry
hybrid approaches
temporal information
neural network