Scalable Uncertainty-Aware Truth Discovery in Big Data Social Sensing Applications for Cyber-Physical Systems
The Algorithmic Analysis of Hybrid Systems