{"as_of":"2026-08-18T04:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4acb294cc0d69e04ac2c486bb02ad2b07e7903589c508f34ec3fbb2a7bb9ad11","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T00:49:50.184358Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2607.28679/citation-record","integrity":"/paper/2607.28679/integrity","json":"/paper/2607.28679/citation-record.json","paper":"/paper/2607.28679"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.804339Z","title":"Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.804339Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:cebc76045a2e86e0aff2e925c8779b8e31ec8cd72ff3e611a028c0cacf5c1ff8","observation_id":"802fd6cf-3b72-42fa-b666-e0d099ca5080","resolution":{"observed_at":"2026-08-03T00:49:49.804339Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.810463Z","title":"Qualitative and quantitative monitoring of spatio-temporal properties,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.810463Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:0bddee7e2b14ee4937df2c200ad2f914fa7f39ee3dfc53fa19ee85135984d805","observation_id":"c26a2e22-146b-428b-942b-64a6a5e97147","resolution":{"observed_at":"2026-08-03T00:49:49.810463Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.815244Z","title":"SaSTL: Spatial aggregation signal temporal logic for runtime monitoring in smart cities,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.815244Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:cbff1ce0dc87a61d49650b1bcc9bf8a345a86a9358cd323c8f1cf72494af169b","observation_id":"a06dafa8-1c58-47a7-97db-a8f37b4b20dc","resolution":{"observed_at":"2026-08-03T00:49:49.815244Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.820074Z","title":"Spatel: a novel spatial-temporal logic and its applications to networked systems,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.820074Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:a9e0456e9abcf49d40bb9a1c649ffa3997cf1d7970c9c62be639c004712c62d4","observation_id":"d602e9c0-bec5-4331-b014-f02fa1861463","resolution":{"observed_at":"2026-08-03T00:49:49.820074Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.825848Z","title":"Monitoring mobile and spatially distributed cyber-physical systems,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.825848Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:42dbb1fbb521d867f863e6868790ee48c292c7e0e5474470d772adc57b8b7388","observation_id":"5d958d4d-d1eb-4442-a878-8ac21a0a1ea6","resolution":{"observed_at":"2026-08-03T00:49:49.825848Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.830580Z","title":"A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.830580Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:effa47bb3302f8378fc837bf56e59e2ebcde7a954d5eb7c265cfdf8223fc830f","observation_id":"c8d3238f-2a43-43a9-9502-ddaf11e2715a","resolution":{"observed_at":"2026-08-03T00:49:49.830580Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.835160Z","title":"Census signal temporal logic inference for multiagent group behavior analysis,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.835160Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:41543adf1452247ed902331e388ddcfed37d7cf3969d775238de9a7d2213f958","observation_id":"904078a1-6f7e-405d-ad6c-64d707a4c0c6","resolution":{"observed_at":"2026-08-03T00:49:49.835160Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.839815Z","title":"STL-GO: Spatio-temporal logic with graph operators for dis- tributed systems with multiple network topologies,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.839815Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:8f5f3e95c8edce191d9312ea616fe3fd1709d961f038ff0ffb332014c6a65ae4","observation_id":"51717280-6ac8-4f5d-9421-28f6cf58bb4c","resolution":{"observed_at":"2026-08-03T00:49:49.839815Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.844673Z","title":"HypRL: Reinforcement Learning of Control Policies for Hyperproperties,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.844673Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:fc24fad58180e38995a76114fe98eb80dcf66db87b8a4f93a365c697ce972831","observation_id":"a30a54b1-8ad4-4809-94e3-02b4bee81552","resolution":{"observed_at":"2026-08-03T00:49:49.844673Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.849767Z","title":"Hyperproperties for Robotics: Planning via HyperLTL,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.849767Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:22fabfcac43c835904bd530545eedb3ee386690ebb3d5a28baf99b17204ace14","observation_id":"f11f4bc1-9530-41bc-aec0-900413ecbfcb","resolution":{"observed_at":"2026-08-03T00:49:49.849767Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.855025Z","title":"Logics and Algorithms for Hyperproperties,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.855025Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:a207be27fd7174763c4d575021c96d9f162b7e6786cb29a9e2245e8b10ebfa86","observation_id":"c3741049-acea-4191-a7f7-e8ed4e348964","resolution":{"observed_at":"2026-08-03T00:49:49.855025Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.859252Z","title":"An online planning framework for multi-robot systems with LTL specification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.859252Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:d760fa5510573b505d2ecd593310cf832b08aa0bacdc985007c8871d567b5b26","observation_id":"d64073c8-96cb-44d1-b973-ea72a2e29fb0","resolution":{"observed_at":"2026-08-03T00:49:49.859252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.865576Z","title":"Automated composition of motion primitives for multi-robot systems from safe LTL specifications,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.865576Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:57ea8b9cb40a01ea2dc5a61ba22d6e854dafad31a1194879deb44d1bd44f9c29","observation_id":"85e8c0d2-8a6c-413b-beaf-94113a655b00","resolution":{"observed_at":"2026-08-03T00:49:49.865576Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.869851Z","title":"Lindemann and D","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.869851Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:b5750f8f301ced6db526edbbbce84b4d7612a6214e54478d54003a187e291d34","observation_id":"5af203a4-1422-46ef-89c0-2df171057a04","resolution":{"observed_at":"2026-08-03T00:49:49.869851Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.876044Z","title":"Multi-agent motion planning from signal temporal logic specifications,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.876044Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:74725849faeaaa55011e746654138b4a97d14c611bfe1c68d378fd69bcce6dc0","observation_id":"362938dd-9d45-477f-a7af-705da35b5fca","resolution":{"observed_at":"2026-08-03T00:49:49.876044Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.885943Z","title":"Alternating-time temporal logic,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.885943Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:322283eb4ffad1dcfd8bd342900b23dace7bc484fdf8af871b15214072e10ecb","observation_id":"0345e13d-e8f8-4f51-9c42-db16c6f66353","resolution":{"observed_at":"2026-08-03T00:49:49.885943Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.01732","last_updated":"2023-04-12T21:05:16Z","snapshot_observed_at":"2026-08-17T14:54:32.733695Z","submitted_at":"2022-10-04T16:47:32Z","title":"Robust Multi-Agent Coordination from CaTL+ Specifications","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.01732","snapshot_observed_at":"2026-08-03T00:49:49.892786Z","title":"Robust multi-agent coordination from CaTL+ specifications,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.892786Z"},"links":{"cited_paper":"/paper/2210.01732","citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:37932b34d25c39b2f808dcd73e575a632ad0f7c0d56ceb4a52bc6bccb742bb91","observation_id":"2b73ae95-10b3-4b6c-8030-7c85b893ecf4","resolution":{"observed_at":"2026-08-03T00:49:49.892786Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.899352Z","title":"Scalable lazy SMT-based motion planning,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.899352Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:76203f7a726f8c731a6749e23f6dd4dced5441136bed11d6f4acb638eeaaa421","observation_id":"65e1fdda-3ba9-46f4-84c2-65cb296689f6","resolution":{"observed_at":"2026-08-03T00:49:49.899352Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.905616Z","title":"Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.905616Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:23774b2f035a997460537f3b38da2350726e74a5237a0c055451c703e9af4f2e","observation_id":"305a446c-39cc-4f26-9ec3-919340d9e783","resolution":{"observed_at":"2026-08-03T00:49:49.905616Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.914239Z","title":"Neural network- based control for multi-agent systems from spatio-temporal specifica- tions,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.914239Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:d90bfb012df8e1bb4a4c13c14e2e39b01a0bdf0c38dce6b1840b75a6217f8182","observation_id":"ecd14253-7fc5-4f5c-90bd-205ef5f27024","resolution":{"observed_at":"2026-08-03T00:49:49.914239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.922302Z","title":"Multi-agent path finding for timed tasks using evolutionary games,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.922302Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:d23d251394bdf274c0b3305772c4fa21a56da03bb7ea0a615bcc7eede1932e35","observation_id":"fdcb1f03-ce2d-474f-92a2-8fee19fa0196","resolution":{"observed_at":"2026-08-03T00:49:49.922302Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.927463Z","title":"Monitoring temporal properties of contin- uous signals,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.927463Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:ea547dd92e2ca354da863259b9beb1eafe44d4107a2ea5343d9cc050fecae2ea","observation_id":"8193b77b-02f0-42d1-8568-0467c9575a01","resolution":{"observed_at":"2026-08-03T00:49:49.927463Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.932056Z","title":"Model predictive control with signal temporal logic specifications,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.932056Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:355dfe9bfe8c20472f6c9148cb597e40fa237168c9b948ba57031df5d8734df9","observation_id":"ec507dff-f2ff-4224-8eee-efe2954345e0","resolution":{"observed_at":"2026-08-03T00:49:49.932056Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.938320Z","title":"Optimization-based trajec- tory generation with linear temporal logic specifications,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.938320Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:94d897f1272bffc0ba805700a5b4d91a906826c7c31d0f0d628432eb79c4ed39","observation_id":"88778dc3-aedf-4e50-8c96-74c8d1e5d9cd","resolution":{"observed_at":"2026-08-03T00:49:49.938320Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.943829Z","title":"Monitoring signal tem- poral logic in distributed cyber-physical systems,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.943829Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:25f416c20405617fb542b9098d714284a39a0203c74e0f7ce8e0fffaff52b1d2","observation_id":"c8f7fadc-413c-4a96-8dfd-f6b8174c9e1a","resolution":{"observed_at":"2026-08-03T00:49:49.943829Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:49.976090Z","title":"Automatic trace generation for signal temporal logic,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:49.976090Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:9c7384204ee1b39b31e054b8e1ec8608199089cf570a0d057d7f2bd6783278f5","observation_id":"f4a8e8af-5d9a-4f10-957e-f916b540585c","resolution":{"observed_at":"2026-08-03T00:49:49.976090Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:50.003636Z","title":"Gurobi Optimizer Reference Manual,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:50.003636Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:6d422577bc07b207c208c54262c422d333ae4a00b2f880e79921057f07bf709b","observation_id":"faef41b6-b42a-4676-871c-6534fc3b7107","resolution":{"observed_at":"2026-08-03T00:49:50.003636Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:50.075613Z","title":"Z3: an efficient SMT solver,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:50.075613Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:c6522059148d403b11062abb4cecb1b4dadf2dc4e98c11a498615f3703f06e51","observation_id":"7a038501-8fb9-462d-9718-028cd4fcaa0f","resolution":{"observed_at":"2026-08-03T00:49:50.075613Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:50.103731Z","title":"SwarmLab: a MATLAB drone swarm simulator,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:50.103731Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:73b7889727ccd572ba2f6232defb90d17bd98e57c5e2389ddb65cefbeee24e6e","observation_id":"3ff46414-26c5-442c-bdbe-1ac7d32fd0e2","resolution":{"observed_at":"2026-08-03T00:49:50.103731Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:50.133361Z","title":"Prescribed performance control for signal temporal logic specifications,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:50.133361Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:35d503b0caa38976c0d1324f2edd667119e281945921f5daa3e7c232b2e86260","observation_id":"c447d098-1c7a-482a-9f29-c4edac49f0da","resolution":{"observed_at":"2026-08-03T00:49:50.133361Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:50.157361Z","title":"Probabilistic coordination of heterogeneous teams from capability temporal logic specifications,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:50.157361Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:875370507062602c81b78ea61b88f98a15da697870843af3b47402b65e6d62dc","observation_id":"c6819e3d-a9d3-4a23-a467-4e90a014b9e2","resolution":{"observed_at":"2026-08-03T00:49:50.157361Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:50.184358Z","title":"Planning for heterogeneous teams of robots with temporal logic capability and resource constraints,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:50.184358Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:778bdb5a87b0c36f1abb669dd5c9fa138c21e89866cbb22c3ffbedaf63d5d2a8","observation_id":"6579e1d2-5d7d-490d-835e-2bc6d3da6cb3","resolution":{"observed_at":"2026-08-03T00:49:50.184358Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T00:49:50.039793Z","title":"Available: https://www.gurobi.com","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:50.039793Z"},"links":{"citing_paper":"/paper/2607.28679"},"observation_digest":"sha256:785ff3e207d5f4d43cf6375b5da76682fd5b6e0ca07aaa0cb544e95fa91881e7","observation_id":"7d4fcbb8-75a4-480f-962d-89bbb27a690f","resolution":{"observed_at":"2026-08-03T00:49:50.039793Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.28679","last_updated":"2026-07-29T16:12:58Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-15T09:49:07.225880Z","submitted_at":"2026-07-29T16:12:58Z","title":"Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":33,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":33},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2607.28679."}