1 citations · 1 across the 5 of their papers we have counts for
5 papers
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…
Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
Mark Chevallier, Filip Smola, Richard Schmoetten +1
We present a novel formalisation of tensor semantics for linear temporal logic on finite traces (LTLf), with formal proofs of correctness carried out in the theorem prover Isabelle…
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…
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems
Richard Schmoetten, Jake Palmer, Jacques Fleuriot
This contribution reports on the continued formalisation of an axiomatic system for Minkowski spacetime (as used in the study of Special Relativity) which is closer in spirit to Hi…
Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Special Relativity is a cornerstone of modern physical theory. While a standard coordinate model is well-known and widely taught today, several alternative systems of axioms exist.…