Martijn Caspers, Jesse Reimann
On the best constants of Schur multipliers of second order divided difference functions
In Math. Ann. (2025) [preprint]
Jesse Reimann*, Nico Mansion*, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama.
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
Based on work completed during my internship at the National Institute of Informatics in Tokyo, Japan.
In Proc. SAC 2024. [preprint incl. appendix] [press release in Japanese + English translation]
*: Equal contribution