Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic

Automatic translation of natural language system specifications into temporal logic

Rani Nelken and Nissim Francez · 1996

Earlier work this paper cites.

Monitoring temporal properties of continuous signals

Oded Maler and Dejan Nickovic · 2004

Earlier work this paper cites.

Translating structured english to robot controllers

Hadas Kress-Gazit, Georgios E Fainekos, and George J Pappas · 2008

Earlier work this paper cites.

Parametric identification of temporal properties

Eugene Asarin, Alexandre Donzé, Oded Maler, and Dejan Nickovic · 2011

Earlier work this paper cites.

Translating between language and logic: what is easy and what is difficult

Aarne Ranta · 2011

Earlier work this paper cites.

Human-level control through deep reinforcement learning

Volodymyr Mnih, Koray Kavukcuoglu, David Silver, Andrei A Rusu, Joel Veness, Marc G Bellemare, Alex Graves, Martin Riedmiller, Andreas K Fidjeland, Georg Ostrovski, et al · 2015

Earlier work this paper cites.

Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar

Original

Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, and Antony Tang · 2015

Cited alongside, same era.

Bert: Pre-training of deep bidirectional transformers for language understanding

Original

Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova · 2018

Cited alongside, same era.

Structured reward shaping using signal temporal logic specifications

Anand Balakrishnan and Jyotirmoy V Deshmukh · 2019

Cited alongside, same era.

Flair: An easy-to-use framework for state-of-the-art nlp

Alan Akbik, Tanja Bergmann, Duncan Blythe, Kashif Rasul, Stefan Schweter, and Roland Vollgraf · 2019

Cited alongside, same era.

Interpretable classification of time-series data using efficient enumerative techniques

Sara Mohammadinejad, Jyotirmoy V Deshmukh, Aniruddh G Puranic, Marcell Vazquez-Chanlatte, and Alexandre Donzé · 2020

Language models are few-shot learners

Original

Tom B Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, et al · 2020

Later among the works it cites.

Diet: Lightweight language understanding for dialogue systems

Original

Tanja Bunk, Daksh Varshneya, Vladimir Vlasov, and Alan Nichol · 2020

Later among the works it cites.

Learning from demonstrations using signal temporal logic

Aniruddh Puranic, Jyotirmoy Deshmukh, and Stefanos Nikolaidis · 2021

Later among the works it cites.

From english to signal temporal logic

Original

Jie He, Ezio Bartocci, Dejan Ničković, Haris Isakovic, and Radu Grosu · 2021

Later among the works it cites.

Gpt-3: What’s it good for?

Robert Dale · 2021

Later among the works it cites.