Formal Verification and Modeling in Human-Machine Systems
a case study
Joe Saunders K
Michael Fisher M
an autonomous P
2014. Formal V
Koay and K
Community-Based Learning
Authoring and Verifying Human-Robot Interactions
The 2nd Workshop on Hacking and Making at Time-Bounded Events
Hacking and Making at Time-Bounded Events: Current Trends and Next Steps in Research and Event Design