Learning Formal Specifications from Membership and Preference Queries.

Ameesh Shah Marcell Vazquez-Chanlatte Sebastian Junges Sanjit A. Seshia

Published in: CoRR (2023)

Keyphrases

formal specification
learning process
query language
learning algorithm
artificial intelligence
knowledge acquisition
reinforcement learning
data model
knowledge based systems
fine grained
design methodology