2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
Radu-Florin Tulcan, Rose Bohrer, Yoàv Montacute +3
We introduce a hybrid spatiotemporal logic for automotive safety applications (HSTL), focused on highway driving. Spatiotemporal logic features specifications about vehicles throug…
cs.CR2019★ 2 cited
Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features
Takao Murakami, Koki Hamada, Yusuke Kawamoto +1
With the widespread use of LBSs (Location-based Services), synthesizing location traces plays an increasingly important role in analyzing spatial big data while protecting user pri…