Follow
Timothy Zhang
Timothy Zhang
Stony Brook University
Verified email at cs.stonybrook.edu
Title
Cited by
Cited by
Year
Neural state classification for hybrid systems
D Phan, N Paoletti, T Zhang, R Grosu, SA Smolka, SD Stoller
Proceedings of the Fifth International Workshop on Symbolic-Numeric Methods …, 2019
252019
Constraint-based inference in probabilistic logic programs
A Nampally, T Zhang, CR Ramakrishnan
Theory and Practice of Logic Programming 18 (3-4), 638-655, 2018
52018
The system can't perform the operation now. Try again later.
Articles 1–2