Efficient Uncertainty-Guided Sensor Placement for Air Quality Mapping using Gaussian Processes and Spatial Indexing | Synapse