Coverage-driven verification — An approach to verify code for robots that directly interact with humans

Pipe, Anthony; Araiza-Illan, Dejanira; Western, David; Pipe, Anthony G.; Eder, Kerstin

doi:10.1007/978-3-319-26287-1_5

All Outputs (3)

Effective emotion regulation strategies improve fMRI and ECG markers of psychopathology in panic disorder: Implications for psychological treatment action (2015)
Journal Article

© 2015 Macmillan Publishers Limited. All rights reserved. Impairments in emotion regulation are thought to have a key role in the pathogenesis of anxiety disorders, but the neurobiological underpinnings contributing to vulnerability remain poorly und... Read More about Effective emotion regulation strategies improve fMRI and ECG markers of psychopathology in panic disorder: Implications for psychological treatment action.

Measurement bias in activation-recovery intervals from unipolar electrograms (2015)
Journal Article

© the American Physiological Society. The activation-recovery interval (ARI) calculated from unipolar electrograms is regularly used as a convenient surrogate measure of local cardiac action potential durations (APD). This method enables important re... Read More about Measurement bias in activation-recovery intervals from unipolar electrograms.

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.