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