Login / Signup

Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language.

Ikhlass AmmarYamen El TouatiJohn MullinsMoez Yeddes
Published in: Int. J. Found. Comput. Sci. (2021)
Keyphrases
  • petri net
  • finite state machines
  • timed automata
  • machine learning
  • language learning
  • colored petri nets
  • model checking