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