Yashwanth Annpureddy

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. TACAS (2011)