Login / Signup

Synthesis of Asynchronous State Machines from Synchronous Specifications.

Duarte Lopes de OliveiraGabriel C. DuarteGracieth Cavalcanti BatistaDiego A. SilvaLeonardo Romano
Published in: LASCAS (2020)
Keyphrases
  • state machines
  • state machine
  • petri net
  • recurrent networks
  • reactive systems
  • asynchronous communication
  • sequence diagrams
  • neural network
  • artificial intelligence
  • training data
  • low level
  • feed forward