Learning Linear Temporal Specifications from Demonstrations with Uncertainty

Parastou Fahim, Constantino Lagoa, Rômulo Meira-Góes

Learning temporal logic specifications from system demonstrations is essential for tasks such as formal verification and controller synthesis, especially in safety-critical domains…