Huang, S., & Cleaveland, R. (2019). A tableau construction for finite linear-time temporal logic. ArXiv Preprint ArXiv:1910.09339.
Samuel Huang
First name
Samuel
Last name
Huang
Huang, S., & Cleaveland, R. (2020). Temporal-logic query checking over finite data streams. International Conference on Formal Methods for Industrial Critical Systems. Presented at the. Springer, Cham.
Huang, S., Diep, M., Jang, K., Cherry, E. M., Fenton, F. H., Cleaveland, R., … Porter, A. (2020). Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level. CSBio’20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics. Presented at the.