activity
20212025
most citedFormalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2025

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…