Formal Verification and Modeling in Human-Machine Systems
Michael Fisher M
Matt Webster C
assistant. In A
an autonomous P
Koay and K
Joe Saunders K
Authoring and Verifying Human-Robot Interactions