Paper Citation Record · LEDGER

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO

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.

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

pith.paper-citation-record.v1
2607.28679 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T00:49:50.184358Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

33 of 33 outbound references displayed

verified exact0
verified fuzzy0
unresolved33
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 802fd6cf-3b72-42fa-b666-e0d099ca5080 · outbound

This paper cites Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.804339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c26a2e22-146b-428b-942b-64a6a5e97147 · outbound

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

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Qualitative and quantitative monitoring of spatio-temporal properties,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.810463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a06dafa8-1c58-47a7-97db-a8f37b4b20dc · outbound

This paper cites SaSTL: Spatial aggregation signal temporal logic for runtime monitoring in smart cities,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO SaSTL: Spatial aggregation signal temporal logic for runtime monitoring in smart cities,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.815244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d602e9c0-bec5-4331-b014-f02fa1861463 · outbound

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

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Spatel: a novel spatial-temporal logic and its applications to networked systems,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.820074Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d958d4d-d1eb-4442-a878-8ac21a0a1ea6 · outbound

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

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Monitoring mobile and spatially distributed cyber-physical systems,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.825848Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8d3238f-2a43-43a9-9502-ddaf11e2715a · outbound

This paper cites A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.830580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 904078a1-6f7e-405d-ad6c-64d707a4c0c6 · outbound

This paper cites Census signal temporal logic inference for multiagent group behavior analysis,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Census signal temporal logic inference for multiagent group behavior analysis,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.835160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51717280-6ac8-4f5d-9421-28f6cf58bb4c · outbound

This paper cites STL-GO: Spatio-temporal logic with graph operators for dis- tributed systems with multiple network topologies,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO STL-GO: Spatio-temporal logic with graph operators for dis- tributed systems with multiple network topologies,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.839815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a30a54b1-8ad4-4809-94e3-02b4bee81552 · outbound

This paper cites HypRL: Reinforcement Learning of Control Policies for Hyperproperties,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO HypRL: Reinforcement Learning of Control Policies for Hyperproperties,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.844673Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f11f4bc1-9530-41bc-aec0-900413ecbfcb · outbound

This paper cites Hyperproperties for Robotics: Planning via HyperLTL,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Hyperproperties for Robotics: Planning via HyperLTL,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.849767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3741049-acea-4191-a7f7-e8ed4e348964 · outbound

This paper cites Logics and Algorithms for Hyperproperties,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Logics and Algorithms for Hyperproperties,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.855025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d64073c8-96cb-44d1-b973-ea72a2e29fb0 · outbound

This paper cites An online planning framework for multi-robot systems with LTL specification,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO An online planning framework for multi-robot systems with LTL specification,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.859252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85e8c0d2-8a6c-413b-beaf-94113a655b00 · outbound

This paper cites Automated composition of motion primitives for multi-robot systems from safe LTL specifications,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Automated composition of motion primitives for multi-robot systems from safe LTL specifications,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.865576Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5af203a4-1422-46ef-89c0-2df171057a04 · outbound

This paper cites Lindemann and D.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Lindemann and D

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.869851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 362938dd-9d45-477f-a7af-705da35b5fca · outbound

This paper cites Multi-agent motion planning from signal temporal logic specifications,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Multi-agent motion planning from signal temporal logic specifications,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.876044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0345e13d-e8f8-4f51-9c42-db16c6f66353 · outbound

This paper cites Alternating-time temporal logic,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Alternating-time temporal logic,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.885943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b73ae95-10b3-4b6c-8030-7c85b893ecf4 · outbound

This paper cites Robust Multi-Agent Coordination from CaTL+ Specifications.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Robust Multi-Agent Coordination from CaTL+ Specifications

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.892786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65e1fdda-3ba9-46f4-84c2-65cb296689f6 · outbound

This paper cites Scalable lazy SMT-based motion planning,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Scalable lazy SMT-based motion planning,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.899352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 305a446c-39cc-4f26-9ec3-919340d9e783 · outbound

This paper cites Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.905616Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecd14253-7fc5-4f5c-90bd-205ef5f27024 · outbound

This paper cites Neural network- based control for multi-agent systems from spatio-temporal specifica- tions,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Neural network- based control for multi-agent systems from spatio-temporal specifica- tions,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.914239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdcb1f03-ce2d-474f-92a2-8fee19fa0196 · outbound

This paper cites Multi-agent path finding for timed tasks using evolutionary games,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Multi-agent path finding for timed tasks using evolutionary games,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.922302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8193b77b-02f0-42d1-8568-0467c9575a01 · outbound

This paper cites Monitoring temporal properties of contin- uous signals,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Monitoring temporal properties of contin- uous signals,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.927463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec507dff-f2ff-4224-8eee-efe2954345e0 · outbound

This paper cites Model predictive control with signal temporal logic specifications,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Model predictive control with signal temporal logic specifications,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.932056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88778dc3-aedf-4e50-8c96-74c8d1e5d9cd · outbound

This paper cites Optimization-based trajec- tory generation with linear temporal logic specifications,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Optimization-based trajec- tory generation with linear temporal logic specifications,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.938320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8f7fadc-413c-4a96-8dfd-f6b8174c9e1a · outbound

This paper cites Monitoring signal tem- poral logic in distributed cyber-physical systems,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Monitoring signal tem- poral logic in distributed cyber-physical systems,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.943829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4a8e8af-5d9a-4f10-957e-f916b540585c · outbound

This paper cites Automatic trace generation for signal temporal logic,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Automatic trace generation for signal temporal logic,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:49.976090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation faef41b6-b42a-4676-871c-6534fc3b7107 · outbound

This paper cites Gurobi Optimizer Reference Manual,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Gurobi Optimizer Reference Manual,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:50.003636Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a038501-8fb9-462d-9718-028cd4fcaa0f · outbound

This paper cites Z3: an efficient SMT solver,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Z3: an efficient SMT solver,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:50.075613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ff46414-26c5-442c-bdbe-1ac7d32fd0e2 · outbound

This paper cites SwarmLab: a MATLAB drone swarm simulator,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO SwarmLab: a MATLAB drone swarm simulator,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:50.103731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c447d098-1c7a-482a-9f29-c4edac49f0da · outbound

This paper cites Prescribed performance control for signal temporal logic specifications,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Prescribed performance control for signal temporal logic specifications,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:50.133361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6819e3d-a9d3-4a23-a467-4e90a014b9e2 · outbound

This paper cites Probabilistic coordination of heterogeneous teams from capability temporal logic specifications,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Probabilistic coordination of heterogeneous teams from capability temporal logic specifications,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:50.157361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6579e1d2-5d7d-490d-835e-2bc6d3da6cb3 · outbound

This paper cites Planning for heterogeneous teams of robots with temporal logic capability and resource constraints,.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Planning for heterogeneous teams of robots with temporal logic capability and resource constraints,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:50.184358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d4fcbb8-75a4-480f-962d-89bbb27a690f · outbound

This paper cites Available: https://www.gurobi.com.

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO Available: https://www.gurobi.com

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:50.039793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.