Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios.

Neda Saeedloei Feliks Kluzniak

Published in: FORTE (2024)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
real time systems
neural network
temporal logic
real world
first order logic
artificial intelligence
similarity measure
decision trees
image processing
application scenarios
information retrieval
database