{"as_of":"2026-08-16T22:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9fc7f1638b98c6857ccda467f98c393841cc64b4e1a680c7b2c46fc24f4becca","coverage":[{"denominator":41,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:53:00.690448Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.02366/citation-record","integrity":"/paper/1908.02366/integrity","json":"/paper/1908.02366/citation-record.json","paper":"/paper/1908.02366"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.362253Z","title":"Array of things: a scientific research instrument in the public way: platform design and early lessons learned,","venue":null,"work_id":"2d178cdc-c182-41ae-af42-c322059d4aae","year":2017},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.514563Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:dfcf2e572f6272ab23c75490958b8b60e663a4189cc60b563a5070c2880e92d1","observation_id":"310347f3-c038-4907-8cc9-a0265224cd1f","resolution":{"observed_at":"2026-08-14T14:53:01.367106Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.348769Z","title":"IBM takes ‘smarter cities’ to rio de janeiro,","venue":null,"work_id":"3a106a32-ee94-44c5-be40-9f37c689aad2","year":2012},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.519319Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:dbdde5e451696b2a93f181aeb2fa509576b1da554993e096e6d525d54272f2cf","observation_id":"04ab0379-b012-4de0-a336-1a4b09b6d846","resolution":{"observed_at":"2026-08-14T14:53:01.353558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.334946Z","title":"Smart+connected operations center,","venue":null,"work_id":"b6e66e26-11c5-4be8-a42c-c6823e6eedb5","year":2017},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.523763Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:d5053315a5339cfc350d236c245c2a35e403bc75c16b49df2f857068556db494","observation_id":"f8d9fa09-22d9-4137-b0d4-1889354796a4","resolution":{"observed_at":"2026-08-14T14:53:01.339794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.321236Z","title":"Data sets, modeling, and decision making in smart cities: A survey,","venue":null,"work_id":"ff1cc071-48b6-4de0-bd89-5949fd0c4fd1","year":2019},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.528004Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:ca63239e2fa5a60e205e8ae12c909fce4b61b8bcaaea5a7cf75dba7375b557bf","observation_id":"379c5108-0a73-4d3a-a041-dee29191a754","resolution":{"observed_at":"2026-08-14T14:53:01.326208Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.307526Z","title":"Dynamic integration of heterogeneous trans- portation modes under disruptive events,","venue":null,"work_id":"66f07781-cc30-4789-a821-8c05d0ba9a08","year":2018},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.532633Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:89ee83e072ec84c42ca49652d1e015729bd36116d52e28ce2929ba8ef9304c9c","observation_id":"74994906-147a-48e1-bd83-1b2eb293057e","resolution":{"observed_at":"2026-08-14T14:53:01.312052Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.294160Z","title":"Cityguard: A watchdog for safety-aware conflict detection in smart cities,","venue":null,"work_id":"78bd52ed-4052-4fe6-aee3-fa56c1bd0b79","year":2017},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.536979Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:d0662080ae9ced5622b5f86163dc6ea3d8632fc3243e2d0d67bd9a03f8237dc4","observation_id":"65980eed-fadd-4c85-9c37-f45ef26f4461","resolution":{"observed_at":"2026-08-14T14:53:01.298675Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.280576Z","title":"Detecting urban anomalies using multiple spatio-temporal data sources,","venue":null,"work_id":"d01dfc34-2253-446b-82c2-74f578c5a6f9","year":2018},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.541740Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:c4ac89077de338b6d4934ad11f9f778495d0a7cce2d51cca0e7168a9f290b5bf","observation_id":"90db7352-9fbd-456a-93f0-c6f740fcf3b9","resolution":{"observed_at":"2026-08-14T14:53:01.284890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.266959Z","title":"A case study of trust on autonomous driving,","venue":null,"work_id":"b39fa4ae-ffdf-4066-96a0-bc514d1f3865","year":2019},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.545798Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:dd9bc14dc03bfff772097909895a9dcb28cc3e6c6faa4b6948bdb58d268b8280","observation_id":"b7e31c2b-5858-4086-aba6-cb79131ecade","resolution":{"observed_at":"2026-08-14T14:53:01.271298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.253324Z","title":"Runtime monitoring of safety and performance requirements in smart cities,","venue":null,"work_id":"9020b04e-cb87-4630-8ba8-d98a4f10ebff","year":2017},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.549826Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:76b116f03e1bcebd95826932ba65ccddf1527a54f333ffcc84606f7296d6c960","observation_id":"8d822a6c-9271-4431-9121-2bd4a391f0e8","resolution":{"observed_at":"2026-08-14T14:53:01.257670Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.239718Z","title":"Spatel: a novel spatial-temporal logic and its ap- plications to networked systems,","venue":null,"work_id":"eadad8d4-af01-48d1-9e57-6e8c48564d2a","year":2015},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.553935Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:4df5aa4989e6d9a4a95d7a4e6d1095c12f87522ed63cb0576d42a6d187d20b18","observation_id":"90d62e6b-86fd-429f-9aa4-8ca3aec5c9c3","resolution":{"observed_at":"2026-08-14T14:53:01.244447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.226123Z","title":"Cityresolver: a decision support system for conflict resolution in smart cities,","venue":null,"work_id":"f7c94c1f-ca55-4af4-9d60-156045094029","year":2018},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.558003Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:a4a18cdd9b73bbfeaac0b8ab7953b8b6c553cdd774bcd81f64318f0e52a2967e","observation_id":"4d9752f0-007a-4eb7-a723-ebed37cbc681","resolution":{"observed_at":"2026-08-14T14:53:01.230646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.212529Z","title":"Monitoring temporal properties of continuous signals,","venue":null,"work_id":"b1dfc460-93b0-4402-8f99-436c3f245a16","year":2004},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.562027Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:7c1f6de7e8edb0731f1b10a6d60b3a35e7b5ef9a1d4d2a892848e483f8acb09e","observation_id":"05d0c45b-dbfd-4b0a-a805-a1ad7ec193c7","resolution":{"observed_at":"2026-08-14T14:53:01.217143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.197727Z","title":"Qualitative and quantitative monitoring of spatio-temporal properties,","venue":null,"work_id":"21f0f403-970d-433c-a51f-01b65450f1b1","year":2015},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.566364Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:53e7a9303f5a33a2d67df0f9b156ad4a6e844f53b004aec3bcbd3240a5a49a87","observation_id":"3b4f9020-e482-4e06-a62a-f98c2d810aa0","resolution":{"observed_at":"2026-08-14T14:53:01.203147Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.183695Z","title":"Monitor- ing mobile and spatially distributed cyber-physical systems,","venue":null,"work_id":"589af2c1-b9ad-43e0-b998-0a342e48a800","year":2017},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.570622Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:0f289d6e19e829add57fc433faa4cdf591232d9b46b180607eca89b52e7fb3a0","observation_id":"5bc63425-227d-4a85-9b20-7cf91af70e68","resolution":{"observed_at":"2026-08-14T14:53:01.188252Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.169153Z","title":"Emissions from transportation, nyc environment protection,","venue":null,"work_id":"27d95a93-e9f4-441c-b7b6-3705c27bf2e3","year":2019},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.575865Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:ec06f58530b998e6721b4ed218fa89fad605f82619081ac20b1088e054d66493","observation_id":"7ab94691-9250-457e-a5ba-53c2784c3686","resolution":{"observed_at":"2026-08-14T14:53:01.174416Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.153289Z","title":"Air quality - motor vehicular pollutants, lead, odors, and nuisance pollutants,","venue":null,"work_id":"a5aeb5b9-7956-4141-bfbb-42ec860edc62","year":2016},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.580267Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:d28d0d8d8275ca6bd51b31328384a1d91cca5e9b04ec6c3843f8dd9ab95428f8","observation_id":"ace5a6ce-96eb-4918-8334-da4fe12088f2","resolution":{"observed_at":"2026-08-14T14:53:01.158835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.138210Z","title":"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,","venue":null,"work_id":"6e02f5bd-3997-4736-9eb3-2f0306ac641a","year":2019},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.584607Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:c055ce310275bfa6a8d48f7639a9e1eff9e39e81e3746448f3d769458c0c4b4a","observation_id":"746e52f7-250a-4d04-9b1d-89a927cfdc92","resolution":{"observed_at":"2026-08-14T14:53:01.143462Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.124112Z","title":"Use of heating oil remaining in tanks","venue":null,"work_id":"39af65cf-0eff-4529-a507-772b2bd79986","year":2019},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.588621Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:a5ae5ccf6b4d83e3da6e1025dbe9230851c4d76de2bcc3db2ff3b645494157c5","observation_id":"5117bb2b-85f7-4570-959d-252737f5c0b4","resolution":{"observed_at":"2026-08-14T14:53:01.128845Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.110368Z","title":"Residential energy efficiency,","venue":null,"work_id":"1df4301c-c286-4e16-a2ac-b8d190612fcc","year":2019},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.592957Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:3061560e0f7ae21e351879fa6b272f4a60da00eb8537f26965e7d0a658db0a49","observation_id":"bdd56295-0e88-4a07-bcb1-463d1dd56cc1","resolution":{"observed_at":"2026-08-14T14:53:01.114870Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.095926Z","title":"Official city of los angeles municipal code,","venue":null,"work_id":"9f5d74ae-5a52-4a16-b8ba-3de1fcb21984","year":2016},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.596951Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:bb2811f1e3d78eeef4c7427a12173d998479bd7653450c8e31cb9f7c4bf45890","observation_id":"357f51d9-37ce-4f7e-bcea-3b05c5c88ee3","resolution":{"observed_at":"2026-08-14T14:53:01.101207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.081908Z","title":"Guide to indoor air quality management in hong kong regional offices and public places,","venue":null,"work_id":"60cd8cbc-d3fc-48e6-ba4a-c14eead36267","year":2019},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.601504Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:2bc96a80b2062e8c693aa8c99cb496a50b05c059b025d6d24f9df046a788b9e0","observation_id":"a25c1cc9-8adc-4c12-8248-f474346d25e9","resolution":{"observed_at":"2026-08-14T14:53:01.086603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.067917Z","title":"Stopping, standing or parking prohibited in spec- ified places,","venue":null,"work_id":"0dd34ea1-7f0f-4868-90f4-9c3810f29624","year":2016},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.605414Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:a1c643af8147024174d71acb499ff12637e64a02ae288905758359b01913dd18","observation_id":"152fb64b-5a59-45db-a33b-2e72dbec00b5","resolution":{"observed_at":"2026-08-14T14:53:01.072622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.054504Z","title":"Pre-hospital medical emergency regulations,","venue":null,"work_id":"3e2947a5-96cd-4620-880d-f1d76d20f706","year":2016},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.609918Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:bdb1c823c49ddf2400c50ce09056538f4a5f5030f7c85f3c8d1181208bdf6753","observation_id":"8855653b-1d67-4ff8-9e5b-99184f2a53c3","resolution":{"observed_at":"2026-08-14T14:53:01.058932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.041062Z","title":"Safety management for kindergarten, primary and secondary school,","venue":null,"work_id":"d57ffffb-1c90-4104-b9b7-b63cf08aa726","year":2016},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.614506Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:aec9cdead8c8ada418b9b3968ca272798b9e5a3554f400c23e922922cc19d4c1","observation_id":"9c62d036-84e5-4690-9803-01fdfc9fda27","resolution":{"observed_at":"2026-08-14T14:53:01.045625Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.027881Z","title":"Efficient robust mon- itoring for STL,","venue":null,"work_id":"65499c5a-adb9-4875-a325-0463c8c6805a","year":2013},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.618756Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:cbd58fea28e1a9faf7c8f1cf0beabcb2540ec342b826b060a41efcbe3dda88b4","observation_id":"e761db59-5eb2-45db-82c7-73a35390b5a0","resolution":{"observed_at":"2026-08-14T14:53:01.032199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.014602Z","title":"A data structure for orthogonal range queries,","venue":null,"work_id":"9ac55ec0-6a3a-4b68-a1c0-97761dda9538","year":1978},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.622916Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:b0a101f5e1e241d6ecb51940f1e08e6e0177c1284786b4ec4171409c86fcd801","observation_id":"85cb28a0-8cd5-4ec6-97c4-4f25624fcf35","resolution":{"observed_at":"2026-08-14T14:53:01.019128Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:01.001544Z","title":"Crimes of Chicago - one year prior to present,","venue":null,"work_id":"bb5c9edb-47a2-4abe-880b-b57cb4153c3f","year":2018},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.627134Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:4ff004a7001e7f9fd9e5fa6bf0c5ca2199f93a2e4d28fc456844b6293606cea4","observation_id":"54950cab-c9e0-432a-aacd-89f975bd8abd","resolution":{"observed_at":"2026-08-14T14:53:01.005932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.988682Z","title":"Detection of runtime conflicts among ser- vices in smart cities,","venue":null,"work_id":"4be2dbed-0bfe-4eac-a2d6-a711c1392f9d","year":2016},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.631333Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:dc513ef68c3b1b253059d7b213864a20ae5d54ff5ae3f38a13cbe0f370821724","observation_id":"0ae2fa8f-6ce3-440e-bc2e-a14145cfa8d6","resolution":{"observed_at":"2026-08-14T14:53:00.993042Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.974479Z","title":"Sumo–simulation of urban mobility: an overview,","venue":null,"work_id":"b7b79c2b-d045-4302-936b-56bfa7f60ebb","year":2011},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.635983Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:9f8f10c0cb7495ccf0fbf12be7445343c37239a2cb8269a0691ec0b6e3af330e","observation_id":"e2945785-bb22-4beb-82d7-239dcadc7781","resolution":{"observed_at":"2026-08-14T14:53:00.978942Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.960714Z","title":"socrata.com/","venue":null,"work_id":"9d079d29-823d-4c21-b47f-e55f11e6e385","year":null},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.640307Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:b7681ec944de02388cb7801929bf94de420db7f90ad08673a64b17aba47c91d1","observation_id":"7104ed1f-7bad-432e-b35a-e46012f3b134","resolution":{"observed_at":"2026-08-14T14:53:00.965563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.947353Z","title":"Cyber-physical systems and events,","venue":null,"work_id":"087c9a5d-b68b-4913-ab23-c6734e77a3b1","year":2008},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.644496Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:827ebdff946d1f07b7d804e211205af86e61bedd8cfa1a4495506f2e43e2ee15","observation_id":"3c6424fb-63e3-4e7b-92c5-2d1a9ef83f9f","resolution":{"observed_at":"2026-08-14T14:53:00.951887Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.934044Z","title":"Spatio-temporal event model for cyber-physical systems,","venue":null,"work_id":"d2409e84-4d17-4533-a255-49dcf996d1c0","year":2009},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.649100Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:f944204f23077f503204cd9462552fb810d0a26baa64042287bb7bf19f9d1e76","observation_id":"d8223485-9955-4c40-92a6-6ac2a1835b90","resolution":{"observed_at":"2026-08-14T14:53:00.938221Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.920693Z","title":"Spatial logic and spatial model checking for closure spaces,","venue":null,"work_id":"796942a5-99e1-4e72-a92d-667d67ed9c4f","year":2016},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.653598Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:a41a6468338bccf71a24d74eeff9177f43a1c451b6fea1a2f7f859bc6259d99c","observation_id":"20807234-edcd-43e6-bc72-c593fea9c467","resolution":{"observed_at":"2026-08-14T14:53:00.925134Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.907052Z","title":"SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems,","venue":null,"work_id":"a6a389e9-74cf-4236-9d49-6fadae8644af","year":2015},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.658480Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:7799de1aed720e7aee3fc99c5571e717f7570eef57c127b8be8846bf4ac684f8","observation_id":"70ee0f16-16ba-420c-bd5c-07c989335c20","resolution":{"observed_at":"2026-08-14T14:53:00.911685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.893428Z","title":"A formal methods approach to pattern synthesis in reaction diffusion systems,","venue":null,"work_id":"5997413e-93a5-4088-baf1-2ce49bbf38a3","year":2014},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.663326Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:449f62df622e48c72ad8076bc77e021c09682da4007a7ee855016bc292bf845f","observation_id":"2e7e773e-d760-4c08-a911-fbfaf92fa82f","resolution":{"observed_at":"2026-08-14T14:53:00.898099Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7247.14672","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.803343Z","title":"Learning and detecting emergent behavior in networks of cardiac myocytes,","venue":null,"work_id":"750538d3-6d0d-4eb3-98dc-7921f8da20c0","year":2009},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.667728Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:ba96ea9bac65c01a2c17e3852e5823ede23f96a545d1be7fe66a59a818bc0c4c","observation_id":"3fbd7307-22d8-4ca7-9b88-85debf3525ba","resolution":{"observed_at":"2026-08-14T14:53:00.812542Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.878387Z","title":"A spatial logic for concurrency (part i),","venue":null,"work_id":"35139801-5c19-4d47-85b8-535ee09f2306","year":2003},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.672701Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:a65116e5640f38290a437c9737d79ead91a374fd0d1fa3f336db873e707d496d","observation_id":"2ddac793-58fd-401a-a391-d38ee230c36a","resolution":{"observed_at":"2026-08-14T14:53:00.883616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.863270Z","title":"Multi-dimensional modal logic as a framework for spatio- temporal reasoning,","venue":null,"work_id":"0b6518fb-d8c0-484b-8685-7823f3e1d039","year":2002},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.677419Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:6997a6d2ec05c70edf6b09f4e372f7acb5b674a82b9e7f246733825a4c05e105","observation_id":"1425daec-b64b-4bca-bde2-dd9f3a28e295","resolution":{"observed_at":"2026-08-14T14:53:00.867983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.849709Z","title":"A decidable spatial generalization of metric interval temporal logic,","venue":null,"work_id":"a8382507-887f-404a-a4f0-4d6c07327f14","year":2010},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.682010Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:e78238412fe9d2a5c354c1b3924424d7bd78e8519fd668c13cc30dec90673162","observation_id":"dc8f0bf8-f2bb-49ba-83fb-6705e41b3f72","resolution":{"observed_at":"2026-08-14T14:53:00.854400Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.835495Z","title":"Undecidability of compass logic,","venue":null,"work_id":"934d2940-912c-4172-9452-47b184fc28b4","year":1999},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.686320Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:b4ca2470477e321c46344ba0d09ddcfe8b92acf8787c7147fcf88427304e4e6d","observation_id":"03275ae2-0070-4e48-b021-355ef9dfa620","resolution":{"observed_at":"2026-08-14T14:53:00.840164Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:53:00.821975Z","title":"Team-level programming of drone sensor networks,","venue":null,"work_id":"efe48c53-c162-4490-9f5f-6bce8c307180","year":2014},"citing_paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","version":5},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T14:53:00.690448Z"},"links":{"citing_paper":"/paper/1908.02366"},"observation_digest":"sha256:2850763979b1a03fdf8ff2fc78da5fa375d1abaa7411c9ceee90584714099805","observation_id":"57f5f486-438a-4aa2-9807-cb57c72a371f","resolution":{"observed_at":"2026-08-14T14:53:00.826292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.02366","last_updated":"2021-12-14T23:37:59Z","latest_version":5,"primary_category":"cs.CY","snapshot_observed_at":"2026-08-16T04:42:37.151626Z","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities"},"reference_resolution":{"displayed":41,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":40},"total_outbound_references":41},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"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."}