Modeling Rover Communication Using Hierarchical State Machines with Scala.

Klaus Havelund Rajeev Joshi

Published in: SAFECOMP Workshops (2017)

Keyphrases

state machines
state machine
sequence diagrams
petri net
hidden markov models
fuzzy logic
communication networks
human robot interaction
recurrent networks