Cited By
View all- Norfleet DMelendez AAlting CKannan SNikitina ACaldeira Botelho RYang BKemp M(2024)Identification of Distinct, Quantitative Pattern Classes from Emergent Tissue-Scale hiPSC Bioelectric PropertiesCells10.3390/cells1313113613:13(1136)Online publication date: 2-Jul-2024
- Hekmatnejad MHoxha BDeshmukh JYang YFainekos G(2024)Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logicThe International Journal of Robotics Research10.1177/02783649231223546Online publication date: 24-Jan-2024
- Matos Pedro ASilva TSequeira TLourenço JSeco JFerreira C(2024)Monitoring of spatio-temporal properties with nonlinear SAT solversInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-024-00740-726:2(169-188)Online publication date: 1-Apr-2024
- Show More Cited By