Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. - Ritam Ganguly; Yingjie Xue; Aaron Jonckheere; Parker Ljung; Benjamin Schornstein; Borzoo Bonakdarpour; Maurice Herlihy (ICDCS, 2022)

Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments. - Jason Xinyu Liu; Ziyi Yang; Ifrah Idrees; Sam Liang; Benjamin Schornstein; Stefanie Tellex; Ankit Shah (CoRL, 2023)

Lang2LTL: Translating Natural Language Commands to Temporal Robot Task Specification. - Jason Xinyu Liu; Ziyi Yang; Ifrah Idrees; Sam Liang; Benjamin Schornstein; Stefanie Tellex; Ankit Shah (CoRR, 2023)

Distributed runtime verification of metric temporal properties. - Ritam Ganguly; Yingjie Xue; Aaron Jonckheere; Parker Ljung; Benjamin Schornstein; Borzoo Bonakdarpour; Maurice Herlihy (J. Parallel Distributed Comput., 2024)