Login / Signup

Merge and Conquer: State Merging in Parametric Timed Automata.

Étienne AndréLaurent FribourgRomain Soulat
Published in: ATVA (2013)
Keyphrases
  • timed automata
  • state space
  • neural network
  • model checking
  • machine learning
  • computer vision
  • case study
  • similarity measure
  • relational databases
  • finite state machines
  • reachability analysis