Formally Verified Animation for RoboChart Using Interaction Trees.

Kangfeng Ye Simon Foster Jim Woodcock

Published in: ICFEM (2022)

Keyphrases

decision trees
human computer interaction
real time
expert systems
human interaction
database
genetic algorithm
artificial intelligence
search engine
pose estimation
tree structure
human robot interaction
tree models