Outputs (94)

Coverage-driven verification — An approach to verify code for robots that directly interact with humans (2015)
Presentation / Conference Contribution

© Springer International Publishing Switzerland 2015. Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification. The complex nature of their working environ... Read More about Coverage-driven verification — An approach to verify code for robots that directly interact with humans.

Telling non-linear stories with interval temporal logic (2015)
Presentation / Conference Contribution

© Springer International Publishing Switzerland 2015. Authoring a consistent interactive narrative is difficult without exhaustively specifying all possible deviations from the main path of a story. When automatically generating new story paths, it i... Read More about Telling non-linear stories with interval temporal logic.

Follicular DEAs for two-way tactile communication (2015)
Presentation / Conference Contribution

© 2015 SPIE. Follicular structures in skin combine sensing and actuation in a soft and compliant continuous surface. We have developed a tactile display device inspired by this structure, using a Dielectric Elastomer Actuator (DEA). DEAs allow for co... Read More about Follicular DEAs for two-way tactile communication.

Spirit of place (2015)
Journal Article

Place-based leadership allows strong and decisive planners to prove their value, with Melbourne a perfect example of what can be achieved. Here, Robin Hambleton looks at the Melbourne story - and explains how place-based leadership should be structur... Read More about Spirit of place.