Learning Formal Specifications from Membership and Preference Queries

Learning Formal Specifications from Membership and Preference Queries

19 July 2023

Marcell Vazquez-Chanlatte

Sebastian Junges

Sanjit A. Seshia

Papers citing "Learning Formal Specifications from Membership and Preference Queries"

13 / 13 papers shown

Title
Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons Hazhar Rahmani Jie Fu 87 0 0 23 May 2025
Learning Quantitative Automata Modulo Theories Eric Hsiung Swarat Chaudhuri Joydeep Biswas 40 0 0 15 Nov 2024
STL: Still Tricky Logic (for System Validation, Even When Showing Your Work) Isabelle Hurley Rohan R. Paleja Ashley Suh Jaime D. Peña H. Siu 38 3 0 02 Jul 2024
Joint Learning of Policy with Unknown Temporal Constraints for Safe Reinforcement Learning Lunet Yifru Ali Baheri 30 1 0 30 Apr 2023
Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification Jiayi Pan Glen Chou Dmitry Berenson 53 36 0 09 Mar 2023
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations Glen Chou N. Ozay Dmitry Berenson 41 25 0 03 Jun 2020
Thresholding Bandit Problem with Both Duels and Pulls Yichong Xu Xi Chen Aarti Singh A. Dubrawski 22 8 0 14 Oct 2019
Learning Reward Functions by Integrating Human Demonstrations and Preferences Malayandi Palan Nicholas C. Landolfi Gleb Shevchuk Dorsa Sadigh 39 125 0 21 Jun 2019
Risk-Aware Active Inverse Reinforcement Learning Daniel S. Brown Yuchen Cui S. Niekum 41 58 0 08 Jan 2019
Batch Active Preference-Based Learning of Reward Functions Erdem Biyik Dorsa Sadigh 85 111 0 10 Oct 2018
Noise-Tolerant Interactive Learning from Pairwise Comparisons Yichong Xu Hongyang R. Zhang Aarti Singh K. Miller A. Dubrawski NoLa 19 2 0 19 Apr 2017
A Corroborative Approach to Verification and Validation of Human--Robot Teams M. Webster D. Western Dejanira Araiza-Illan C. Dixon Kerstin Eder Michael Fisher A. Pipe 23 60 0 26 Aug 2016
Cooperative Inverse Reinforcement Learning Dylan Hadfield-Menell Anca Dragan Pieter Abbeel Stuart J. Russell 60 643 0 09 Jun 2016