APA (7th ed.) Citation

Chevallier, M., Smola, F., Schmoetten, R., & Fleuriot, J. D. (2025). Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces.

Chicago Style (17th ed.) Citation

Chevallier, Mark, Filip Smola, Richard Schmoetten, and Jacques D. Fleuriot. Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces. 2025.

MLA (9th ed.) Citation

Chevallier, Mark, et al. Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces. 2025.