Modelling Second-Order Uncertainty in State Machines.

Neil Walkinshaw Robert M. Hierons

Published in: IEEE Trans. Software Eng. (2023)

Keyphrases

state machines
state machine
petri net
higher order
recurrent networks
artificial intelligence
neural network