Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms.

Roland Kuhn Alan Darmasaputra

Published in: ISSTA (2023)

Keyphrases

state machines
state machine
petri net
recurrent networks
swarm intelligence
heterogeneous networks
sequence diagrams
higher order
particle swarm optimization
neural network
hidden markov models