Buchumschlag

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Contreras, Ricardo, Smola, Filip, Farič, Nuša, Zheng, Jiawei, Hillston, Jane, Fleuriot, Jacques D.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Artificial Intelligence Computers and Society
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Evaluating Personalized Beneficial Interventions in the Daily Lives of Older Adults Using a Camera
von: Chen, Longfei, et al.
Veröffentlicht: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
von: Chevallier, Mark, et al.
Veröffentlicht: (2025)

GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
von: Chevallier, Mark, et al.
Veröffentlicht: (2025)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
von: Schmoetten, Richard, et al.
Veröffentlicht: (2024)

Formal Verification of Probing Security via Conditional Independence
von: Kura, Satoshi, et al.
Veröffentlicht: (2026)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
von: Reinhard, Tobias
Veröffentlicht: (2024)

Process-aware Human Activity Recognition
von: Zheng, Jiawei, et al.
Veröffentlicht: (2024)

Formal Verification of Isothermal Chemical Reactors
von: Feyzishendi, Parivash, et al.
Veröffentlicht: (2025)

Formal Verification of the Empty Hexagon Number
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2024)

Formal Verification of Parameterized Systems based on Induction
von: Xiu, Jiaqi, et al.
Veröffentlicht: (2025)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
von: DeLong, Lauren Nicole, et al.
Veröffentlicht: (2023)

Structural Liveness of Conservative Petri Nets
von: Jančar, Petr, et al.
Veröffentlicht: (2025)

Formal Verification of the Safegcd Implementation
von: O'Connor, Russell, et al.
Veröffentlicht: (2025)

Formal Verification of the Sumcheck Protocol
von: Bosshard, Azucena Garvía, et al.
Veröffentlicht: (2024)

Structural Liveness of Immediate Observation Petri Nets
von: Jancar, Petr, et al.
Veröffentlicht: (2021)

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
von: Yang, Ziyi, et al.
Veröffentlicht: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

Pseudo-Formalization for Automatic Proof Verification
von: Barkallah, Slim, et al.
Veröffentlicht: (2026)

Subvarieties of pointed Abelian l-groups
von: Jankovec, Filip
Veröffentlicht: (2025)

Towards Proving Liveness on Weak Memory (Extended Version)
von: Bargmann, Lara, et al.
Veröffentlicht: (2026)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
von: Affeldt, Reynald, et al.
Veröffentlicht: (2023)

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake
von: Coglio, Alessandro, et al.
Veröffentlicht: (2025)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
von: Kaufmann, Daniela, et al.
Veröffentlicht: (2024)

Abstract Framework for All-Path Reachability Analysis toward Safety and Liveness Verification (Full Version)
von: Kojima, Misaki, et al.
Veröffentlicht: (2026)

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
von: Choton, Jahid Chowdhury, et al.
Veröffentlicht: (2024)

On Improving Deep Active Learning with Formal Verification
von: Spiegelman, Jonathan, et al.
Veröffentlicht: (2025)

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2025)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
von: Lewis, Marco, et al.
Veröffentlicht: (2021)

MARS: A neurosymbolic approach for interpretable drug discovery
von: DeLong, Lauren Nicole, et al.
Veröffentlicht: (2024)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
von: Saxena, Ishan, et al.
Veröffentlicht: (2025)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
von: Beers, Adrian, et al.
Veröffentlicht: (2025)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
von: Altuntas, Alper, et al.
Veröffentlicht: (2025)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
von: Wojtak, Connor, et al.
Veröffentlicht: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

Formalizing UML State Machines for Automated Verification -- A Survey
von: André, Étienne, et al.
Veröffentlicht: (2024)

Smart Contracts Formal Verification: A Systematic Literature Review
von: Davila, Rene, et al.
Veröffentlicht: (2025)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
von: Mohanty, Hansa, et al.
Veröffentlicht: (2025)

A Program Instrumentation Framework for Automatic Verification
von: Amilon, Jesper, et al.
Veröffentlicht: (2024)

Formalizing Representation Theorems for a Logical Framework with Rewriting
von: Traversié, Thomas, et al.
Veröffentlicht: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
von: Shea-Blymyer, Colin, et al.
Veröffentlicht: (2024)