1 citations · 1 across the 1 of their papers we have counts for
3 papers · 1 filter
A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
Ricardo Contreras, Filip Smola, NuÅ¡a FariÄ +3
There is an imperative need to provide quality of life to a growing population of older adults living independently. Personalised solutions that focus on the person and take into c…
GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
Mark Chevallier, Filip Smola, Richard Schmoetten +1
We present GradSTL, the first fully comprehensive implementation of signal temporal logic (STL) suitable for integration with neurosymbolic learning. In particular, GradSTL can suc…
A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
Richard Schmoetten, Jacques D. Fleuriot
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that…