50 citations · 80 across the 22 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 1 cited
Learning Temporal Logic Properties: an Overview of Two Recent Methods
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari +3
Learning linear temporal logic (LTL) formulas from examples labeled as positive or negative has found applications in inferring descriptions of system behavior. We summarize two me…
cs.LO2022★ 2 cited
Learning Interpretable Temporal Properties from Positive Examples Only
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari +3
We consider the problem of explaining the temporal behavior of black-box systems using human-interpretable models. To this end, based on recent research trends, we rely on the fund…