2 citations · 2 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
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…
eess.SY2026
NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations
Shih-Jie Shih, Jonghan Lim, Ilya Kovalenko +1
Supervisory control of discrete-event systems provides formal guarantees of correctness with respect to a plant model and specification. However, these guarantees heavily rely on t…