@inproceedings{qest2017,
Author = {S. Lehmann and S.-T. Antoni and A. Schlaefer and S. Schupp
},
Title = {Detection of Head Motion Artifacts based on a Statistical Online Model-Checking Approach.},
Year = {(2017).},
Pages = {accepted},
Month = {September 5-7},
Address = {Berlin, Germany},
Booktitle = {<em>Quantitative Evaluation of Systems - 14th International Conference</em>},
Organization = {Quantitative Evaluation of Systems - 14th International Conference},
Abstract = {Many safety-critical applications in the medical domain, including dynamic tracking systems for real-world entities and motion control systems for cyber-physical devices, need to be checked continuously to facilitate a quick reaction to system failures and environmental changes. In this paper, we describe a combined solution of online model checking and the existing statistical model checking technique, building on a model representation of possible patient behaviours. We apply our concept in a case study on head motion tracking, for which we perform online motion pattern recognition and verification to decide on the most probable pattern on each time step as a base for countermeasures}
}

@COMMENT{Bibtex file generated on 2026-5-14 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/mtec/publications/2019-2013 }