. (2019). A tableau construction for finite linear-time temporal logic. Arxiv Preprint Arxiv:1910.09339.
Samuel Huang
First name
Samuel
Last name
Huang
. (2020). Temporal-logic query checking over finite data streams. International Conference on Formal Methods for Industrial Critical Systems. Presented at the. Springer, Cham.
. (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.