Sign in

Untangling the Graphs of Timed Automata to Decrease the Number of Clocks.

Neda SaeedloeiFeliks Kluzniak
Published in: IFM (2022)
Keyphrases
  • timed automata
  • data sets
  • real time
  • expert systems
  • small number
  • undirected graph
  • maximum number
  • reinforcement learning
  • directed graph
  • graph structure