Sign in

Modelling Second-Order Uncertainty in State Machines.

Neil WalkinshawRobert M. Hierons
Published in: IEEE Trans. Software Eng. (2023)
Keyphrases
  • state machines
  • state machine
  • petri net
  • higher order
  • recurrent networks
  • artificial intelligence
  • neural network