%0 Journal Article %1 journals/fmsd/JhaTSSS19 %A Jha, Susmit %A Tiwari, Ashish %A Seshia, Sanjit A. %A Sahai, Tuhin %A Shankar, Natarajan %D 2019 %J Formal Methods Syst. Des. %K dblp %N 3 %P 364-387 %T TeLEx: learning signal temporal logic from positive examples using tightness metric. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd54.html#JhaTSSS19 %V 54

@article{journals/fmsd/JhaTSSS19, added-at = {2023-06-26T00:00:00.000+0200}, author = {Jha, Susmit and Tiwari, Ashish and Seshia, Sanjit A. and Sahai, Tuhin and Shankar, Natarajan}, biburl = {https://www.bibsonomy.org/bibtex/2cfa9432e229f0909e2d20fcfe9e5c895/dblp}, ee = {https://doi.org/10.1007/s10703-019-00332-1}, interhash = {308df1519a6173bf242978d0c71928f8}, intrahash = {cfa9432e229f0909e2d20fcfe9e5c895}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {364-387}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {TeLEx: learning signal temporal logic from positive examples using tightness metric.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd54.html#JhaTSSS19}, volume = 54, year = 2019 }