TeLEx: learning signal temporal logic from positive examples using tightness metric

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 23, 2019
Source ID
10.1007/s10703-019-00332-1

Entities

People

  • Ashish Tiwari
  • Natarajan Shankar
  • Sanjit A. Seshia
  • Susmit Jha
  • Tuhin Sahai

Organizations

  • National Science Foundation Directorate of Computer and Information Science and Engineering
  • United States Army Research Laboratory