Formally Verified Animation for RoboChart using Interaction Trees.

Kangfeng Ye Simon Foster Jim Woodcock

Published in: CoRR (2023)

Keyphrases

decision trees
human computer interaction
user interaction
information systems
search algorithm
multi touch
tree models