Publications

Export 7 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is H  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
H
Query Checking for Linear Temporal Logic, Huang, Samuel, and Cleaveland Rance , 25 August 2017, (2017)
Temporal-logic query checking over finite data streams, Huang, Samuel, and Cleaveland Rance , International Conference on Formal Methods for Industrial Critical Systems, (2020)
A tableau construction for finite linear-time temporal logic, Huang, Samuel, and Cleaveland Rance , arXiv preprint arXiv:1910.09339, (2019)
Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level, Huang, Samuel, Diep Madeline, Jang Kuk, Cherry Elizabeth M., Fenton Flavio H., Cleaveland Rance, Lindvall Mikael, Mangharam Rahul, and Porter Adam , CSBio'20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics, (2020)
A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits, Hasani, Ramin, Lechner Mathias, Amini Alexander, Rus Daniela, and Grosu Radu , Proceedings of the 37th International Conference on Machine Learning, 13–18 Jul, (2020)
Liquid Time-constant Networks, Hasani, Ramin, Lechner Mathias, Amini Alexander, Rus Daniela, and Grosu Radu , (2020)
SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems, Haghighi, Iman, Jones Austin, Kong Zhaodan, Bartocci Ezio, Grosu Radu, and Belta Calin , Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2015)  (679.39 KB)