Filip Smola

According to our database, Filip Smola authored at least 8 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

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

Ricardo Contreras, Filip Smola, Nusa Faric, Jiawei Zheng, Jane Hillston, Jacques D. Fleuriot

CoRR, July, 2025

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces.

Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot

CoRR, January, 2025

2024

Linear Resources in Isabelle/HOL.

Filip Smola, Jacques D. Fleuriot

J. Autom. Reason., June, 2024

Linear Resources and Process Compositions.

Filip Smola, Jacques D. Fleuriot

Arch. Formal Proofs, 2024

Deep Embedding of Intuitionistic Linear Logic.

Filip Smola, Jacques D. Fleuriot

Arch. Formal Proofs, 2024

Verifying Properties of Activities of Daily Living.

Ricardo Contreras, Filip Smola, Jiawei Zheng, Jane Hillston, Jacques D. Fleuriot

Proceedings of the From Data to Models and Back - 12th International Symposium, 2024

2021

Hyperdual Numbers and Forward Differentiation.

Filip Smola, Jacques D. Fleuriot

Arch. Formal Proofs, 2021

A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows.

Petros Papapanagiotou, James Vaughan, Filip Smola, Jacques D. Fleuriot

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021