Benjamin Schornstein

According to our database, Benjamin Schornstein authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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., March, 2024

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

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

Proceedings of the Conference on Robot Learning, 2023

2022

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

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022