Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction
- Tathagata Chakraborti
- Jung koo Kang
- et al.
- 2024
- AAAI 2024
Publications
Date
Featured collections
Popular topics
3 results for Francesco Fuggitti
NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas
- Francesco Fuggitti
- Tathagata Chakraborti
- 2023
- AAAI 2023
Lemming: A Tool for Guided Plan Selection using Landmarks
- Jung koo Kang
- Tathagata Chakraborti
- et al.
- 2023
- ICAPS 2023