Sign in

Compositional synthesis of supervisors in the form of state machines and state maps.

Sahar MohajeraniRobi MalikMartin Fabian
Published in: Autom. (2017)
Keyphrases
  • state machines
  • state machine
  • artificial intelligence
  • model checking
  • real time
  • fault tolerant
  • recurrent networks