Metric First-Order Temporal Logic with Complex Data Types. - Jeniffer Lima Graf; Srdan Krstic; Joshua Schneider 001 (RV, 2023)