@conference {,
	title = {Temporal-logic query checking over finite data streams},
	booktitle = {International Conference on Formal Methods for Industrial Critical Systems},
	year = {2020},
	publisher = {Springer, Cham},
	organization = {Springer, Cham},
	author = {Huang, Samuel and Cleaveland, Rance}
}
@conference {,
	title = {Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level},
	booktitle = {CSBio{\textquoteright}20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics},
	year = {2020},
	author = {Huang, Samuel and Diep, Madeline and Jang, Kuk and Cherry, Elizabeth M and Fenton, Flavio H and Cleaveland, Rance and Lindvall, Mikael and Mangharam, Rahul and Porter, Adam}
}
@article {,
	title = {A tableau construction for finite linear-time temporal logic},
	journal = {arXiv preprint arXiv:1910.09339},
	year = {2019},
	author = {Huang, Samuel and Cleaveland, Rance}
}
