Paper Citation Record · LEDGER

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities

As of 16 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:1908.02366.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1908.02366 v5

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T14:53:00.690448Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

41 of 41 outbound references displayed

verified exact0
verified fuzzy40
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 310347f3-c038-4907-8cc9-a0265224cd1f · outbound

This paper cites Array of things: a scientiﬁc research instrument in the public way: platform design and early lessons learned,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Array of things: a scientiﬁc research instrument in the public way: platform design and early lessons learned,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.367106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 04ab0379-b012-4de0-a336-1a4b09b6d846 · outbound

This paper cites IBM takes ‘smarter cities’ to rio de janeiro,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities IBM takes ‘smarter cities’ to rio de janeiro,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.353558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f8d9fa09-22d9-4137-b0d4-1889354796a4 · outbound

This paper cites Smart+connected operations center,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Smart+connected operations center,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.339794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 379c5108-0a73-4d3a-a041-dee29191a754 · outbound

This paper cites Data sets, modeling, and decision making in smart cities: A survey,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Data sets, modeling, and decision making in smart cities: A survey,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.326208Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 74994906-147a-48e1-bd83-1b2eb293057e · outbound

This paper cites Dynamic integration of heterogeneous trans- portation modes under disruptive events,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Dynamic integration of heterogeneous trans- portation modes under disruptive events,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.312052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 65980eed-fadd-4c85-9c37-f45ef26f4461 · outbound

This paper cites Cityguard: A watchdog for safety-aware conﬂict detection in smart cities,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Cityguard: A watchdog for safety-aware conﬂict detection in smart cities,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.298675Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 90db7352-9fbd-456a-93f0-c6f740fcf3b9 · outbound

This paper cites Detecting urban anomalies using multiple spatio-temporal data sources,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Detecting urban anomalies using multiple spatio-temporal data sources,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.284890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b7e31c2b-5858-4086-aba6-cb79131ecade · outbound

This paper cites A case study of trust on autonomous driving,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities A case study of trust on autonomous driving,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.271298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8d822a6c-9271-4431-9121-2bd4a391f0e8 · outbound

This paper cites Runtime monitoring of safety and performance requirements in smart cities,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Runtime monitoring of safety and performance requirements in smart cities,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.257670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 90d62e6b-86fd-429f-9aa4-8ca3aec5c9c3 · outbound

This paper cites Spatel: a novel spatial-temporal logic and its ap- plications to networked systems,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Spatel: a novel spatial-temporal logic and its ap- plications to networked systems,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.244447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4d9752f0-007a-4eb7-a723-ebed37cbc681 · outbound

This paper cites Cityresolver: a decision support system for conﬂict resolution in smart cities,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Cityresolver: a decision support system for conﬂict resolution in smart cities,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.230646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 05d0c45b-dbfd-4b0a-a805-a1ad7ec193c7 · outbound

This paper cites Monitoring temporal properties of continuous signals,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Monitoring temporal properties of continuous signals,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.217143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3b4f9020-e482-4e06-a62a-f98c2d810aa0 · outbound

This paper cites Qualitative and quantitative monitoring of spatio-temporal properties,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Qualitative and quantitative monitoring of spatio-temporal properties,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.203147Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5bc63425-227d-4a85-9b20-7cf91af70e68 · outbound

This paper cites Monitor- ing mobile and spatially distributed cyber-physical systems,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Monitor- ing mobile and spatially distributed cyber-physical systems,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.188252Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7ab94691-9250-457e-a5ba-53c2784c3686 · outbound

This paper cites Emissions from transportation, nyc environment protection,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Emissions from transportation, nyc environment protection,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.174416Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ace5a6ce-96eb-4918-8334-da4fe12088f2 · outbound

This paper cites Air quality - motor vehicular pollutants, lead, odors, and nuisance pollutants,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Air quality - motor vehicular pollutants, lead, odors, and nuisance pollutants,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.158835Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 746e52f7-250a-4d04-9b1d-89a927cfdc92 · outbound

This paper cites A local law to amend the admin- istrative code of the city of new york, in relation to restricting the use of bus lanes by sight-seeing buses,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities A local law to amend the admin- istrative code of the city of new york, in relation to restricting the use of bus lanes by sight-seeing buses,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.143462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5117bb2b-85f7-4570-959d-252737f5c0b4 · outbound

This paper cites Use of heating oil remaining in tanks.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Use of heating oil remaining in tanks

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.128845Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bdd56295-0e88-4a07-bcb1-463d1dd56cc1 · outbound

This paper cites Residential energy efﬁciency,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Residential energy efﬁciency,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.114870Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 357f51d9-37ce-4f7e-bcea-3b05c5c88ee3 · outbound

This paper cites Ofﬁcial city of los angeles municipal code,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Ofﬁcial city of los angeles municipal code,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.101207Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a25c1cc9-8adc-4c12-8248-f474346d25e9 · outbound

This paper cites Guide to indoor air quality management in hong kong regional ofﬁces and public places,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Guide to indoor air quality management in hong kong regional ofﬁces and public places,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.086603Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 152fb64b-5a59-45db-a33b-2e72dbec00b5 · outbound

This paper cites Stopping, standing or parking prohibited in spec- iﬁed places,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Stopping, standing or parking prohibited in spec- iﬁed places,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.072622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8855653b-1d67-4ff8-9e5b-99184f2a53c3 · outbound

This paper cites Pre-hospital medical emergency regulations,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Pre-hospital medical emergency regulations,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.058932Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9c62d036-84e5-4690-9803-01fdfc9fda27 · outbound

This paper cites Safety management for kindergarten, primary and secondary school,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Safety management for kindergarten, primary and secondary school,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.045625Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e761db59-5eb2-45db-82c7-73a35390b5a0 · outbound

This paper cites Efﬁcient robust mon- itoring for STL,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Efﬁcient robust mon- itoring for STL,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.032199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 85cb28a0-8cd5-4ec6-97c4-4f25624fcf35 · outbound

This paper cites A data structure for orthogonal range queries,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities A data structure for orthogonal range queries,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.019128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 54950cab-c9e0-432a-aacd-89f975bd8abd · outbound

This paper cites Crimes of Chicago - one year prior to present,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Crimes of Chicago - one year prior to present,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:01.005932Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0ae2fa8f-6ce3-440e-bc2e-a14145cfa8d6 · outbound

This paper cites Detection of runtime conﬂicts among ser- vices in smart cities,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Detection of runtime conﬂicts among ser- vices in smart cities,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.993042Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e2945785-bb22-4beb-82d7-239dcadc7781 · outbound

This paper cites Sumo–simulation of urban mobility: an overview,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Sumo–simulation of urban mobility: an overview,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.978942Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7104ed1f-7bad-432e-b35a-e46012f3b134 · outbound

This paper cites socrata.com/.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities socrata.com/

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.965563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3c6424fb-63e3-4e7b-92c5-2d1a9ef83f9f · outbound

This paper cites Cyber-physical systems and events,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Cyber-physical systems and events,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.951887Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d8223485-9955-4c40-92a6-6ac2a1835b90 · outbound

This paper cites Spatio-temporal event model for cyber-physical systems,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Spatio-temporal event model for cyber-physical systems,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.938221Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 20807234-edcd-43e6-bc72-c593fea9c467 · outbound

This paper cites Spatial logic and spatial model checking for closure spaces,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Spatial logic and spatial model checking for closure spaces,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.925134Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 70ee0f16-16ba-420c-bd5c-07c989335c20 · outbound

This paper cites SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.911685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2e7e773e-d760-4c08-a911-fbfaf92fa82f · outbound

This paper cites A formal methods approach to pattern synthesis in reaction diffusion systems,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities A formal methods approach to pattern synthesis in reaction diffusion systems,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.898099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3fbd7307-22d8-4ca7-9b88-85debf3525ba · outbound

This paper cites Learning and detecting emergent behavior in networks of cardiac myocytes,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Learning and detecting emergent behavior in networks of cardiac myocytes,

Reference 36

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T14:53:00.812542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2ddac793-58fd-401a-a391-d38ee230c36a · outbound

This paper cites A spatial logic for concurrency (part i),.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities A spatial logic for concurrency (part i),

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.883616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 1425daec-b64b-4bca-bde2-dd9f3a28e295 · outbound

This paper cites Multi-dimensional modal logic as a framework for spatio- temporal reasoning,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Multi-dimensional modal logic as a framework for spatio- temporal reasoning,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.867983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation dc8f0bf8-f2bb-49ba-83fb-6705e41b3f72 · outbound

This paper cites A decidable spatial generalization of metric interval temporal logic,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities A decidable spatial generalization of metric interval temporal logic,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.854400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 03275ae2-0070-4e48-b021-355ef9dfa620 · outbound

This paper cites Undecidability of compass logic,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Undecidability of compass logic,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.840164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 57f5f486-438a-4aa2-9807-cb57c72a371f · outbound

This paper cites Team-level programming of drone sensor networks,.

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Team-level programming of drone sensor networks,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:53:00.826292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Pith citing papers

No inbound Pith citation observations are available.