Richard Schmoetten

11 papers C 1Journal 9Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Constructing the Lie Algebra of Smooth Vector Fields on a Lie Group in Isabelle/HOL. J. Autom. Reason. Richard Schmoetten, Jacques D. Fleuriot
2025	J	`jnl`	Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces. CoRR Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot
2025	C	`conf`	GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning. TIME Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot
2025	J	`jnl`	GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning. CoRR Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot
2024	J	`jnl`	A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL. CoRR Richard Schmoetten, Jacques D. Fleuriot
2024	J	`jnl`	Lie Groups and Algebras. Arch. Formal Proofs Richard Schmoetten, Jacques D. Fleuriot
2023	J	`jnl`	Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
2022	J	`jnl`	Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
2021	—	`conf`	Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems. ADG Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
2021	J	`jnl`	Schutz' Independent Axioms for Minkowski Spacetime. Arch. Formal Proofs Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
2021	J	`jnl`	Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. CoRR Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot