Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking.

Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu

Browse the full ISoLA paper archive.