@misc{indiciae47d78e3e5a12,
  title = {A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes},
  author = {Ricardo Contreras and Filip Smola and Nuša Farič and Jiawei Zheng and Jane Hillston and Jacques D. Fleuriot},
  year = {2025},
  doi = {10.1109/jsen.2025.3635781},
  url = {https://arxiv.org/abs/2507.08701},
  note = {Source identifier: 2507.08701}
}