Benjamin Schornstein

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Temporal Properties

Natural Language

Formal Specification

Top Venues

J. Parallel Distributed Comput.

Publications

Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
Distributed runtime verification of metric temporal properties. J. Parallel Distributed Comput. 185 (2024)
Jason Xinyu Liu, Ziyi Yang, Ifrah Idrees, Sam Liang, Benjamin Schornstein, Stefanie Tellex, Ankit Shah
Lang2LTL: Translating Natural Language Commands to Temporal Robot Task Specification. CoRR (2023)
Jason Xinyu Liu, Ziyi Yang, Ifrah Idrees, Sam Liang, Benjamin Schornstein, Stefanie Tellex, Ankit Shah
Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments. CoRL (2023)
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. ICDCS (2022)
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. CoRR (2022)