Conference paperCAPSULE: Language and system support for efficient state sharing in distributed stream processing systems
Demo paperNL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas