Temporal logic inference for classification and prediction from data

@inproceedings{Kong2014TemporalLI,
  title={Temporal logic inference for classification and prediction from data},
  author={Zhaodan Kong and Austin Jones and A. I. Medina Ayala and Ebru Aydin Gol and Calin Belta},
  booktitle={HSCC},
  year={2014}
}
This paper presents an inference algorithm that can discover temporal logic properties of a system from data. Our algorithm operates on finite time system trajectories that are labeled according to whether or not they demonstrate some desirable system properties (e.g. "the car successfully stops before hitting an obstruction"). A temporal logic formula that can discriminate between the desirable behaviors and the undesirable ones is constructed. The formulae also indicate possible causes for… CONTINUE READING
Highly Cited
This paper has 68 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

68 Citations

0102030'13'14'15'16'17'18
Citations per Year
Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…