Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-25T04:34:45.656594Z
Paper Citation Record · LEDGER
Signal Temporal Logic Motion Planning via Graphs of Convex Sets
As of 16 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 1 inbound Pith citation observation for arXiv:2605.23240.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T13:16:06.528609Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
60 of 60 outbound references displayed
- verified exact4
- verified fuzzy55
- unresolved1
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation b8bfcb23-166e-4016-9064-5a365d64693e · outbound
This paper cites Synthesis for robots: Guarantees and feedback for robot behavior.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Synthesis for robots: Guarantees and feedback for robot behavior
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:21.975007Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 025ce7b1-2386-4747-b353-2b068b984997 · outbound
This paper cites Formal methods for control synthesis: An optimization perspective.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Formal methods for control synthesis: An optimization perspective
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.133721Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 70a2d363-264f-4928-b408-556d504e7fd3 · outbound
This paper cites Formal synthesis of controllers for safety- critical autonomous systems: Developments and challenges.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Formal synthesis of controllers for safety- critical autonomous systems: Developments and challenges
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.012524Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 76064b8c-66fc-472c-8088-0e0ce3aed2c0 · outbound
This paper cites Monitoring temporal properties of con- tinuous signals.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Monitoring temporal properties of con- tinuous signals
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.006120Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation df94d16b-116b-4fb0-b36e-fc6b799c096c · outbound
This paper cites Temporal logic motion planning for dynamic robots.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Temporal logic motion planning for dynamic robots
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.009299Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ac04b7fd-2176-4a19-ae9a-480f9a6387b3 · outbound
This paper cites Power line inspection tasks with multi-aerial robot systems via signal temporal logic specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Power line inspection tasks with multi-aerial robot systems via signal temporal logic specifications
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.021953Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 25cdccae-e78e-49ed-880a-2bacef332e2e · outbound
This paper cites STLGame: Signal temporal logic games in adversarial multi-agent systems.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets STLGame: Signal temporal logic games in adversarial multi-agent systems
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.038844Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 046ab76d-82c0-40fb-af14-78d7befdecd5 · outbound
This paper cites Learning from demonstra- tions using signal temporal logic.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Learning from demonstra- tions using signal temporal logic
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:21.990939Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2bf3ba58-8783-407d-a7b4-824ef0b2e0e5 · outbound
This paper cites Cooperative object manipulation under signal temporal logic tasks and uncertain dynamics.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Cooperative object manipulation under signal temporal logic tasks and uncertain dynamics
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:21.994247Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation baafa736-0ee8-4ce8-b425-b776195009fe · outbound
This paper cites Neuro-symbolic generation of explanations for robot policies with weighted signal temporal logic.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Neuro-symbolic generation of explanations for robot policies with weighted signal temporal logic
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:21.984939Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4154bb92-353e-43d0-87b3-c9ef5c758c62 · outbound
This paper cites Robust-locomotion-by-logic: Perturbation-resilient bipedal locomotion via signal temporal logic guided model predictive control.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Robust-locomotion-by-logic: Perturbation-resilient bipedal locomotion via signal temporal logic guided model predictive control
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:21.981886Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 08803ff2-3e2e-4ca8-9332-5abba2c8d75b · outbound
This paper cites Model predictive control with signal temporal logic specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Model predictive control with signal temporal logic specifications
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:21.987464Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a024ead4-938b-42b2-b7ee-e48e3517f9d0 · outbound
This paper cites Robust temporal logic model predictive control.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Robust temporal logic model predictive control
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:21.997062Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 31c208b5-ce45-4f1e-bbbd-557cb5924413 · outbound
This paper cites Robust model predic- tive control for signal temporal logic synthesis.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Robust model predic- tive control for signal temporal logic synthesis
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.000102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fcfde4c2-3a79-4b2b-aafc-85f0e57d4cf6 · outbound
This paper cites Mixed-integer programming for signal temporal logic with fewer binary variables.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Mixed-integer programming for signal temporal logic with fewer binary variables
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:21.978871Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5610c3a8-ad0e-403e-988c-f7d97ed7a099 · outbound
This paper cites STL and wSTL control synthesis: A disjunction-centric mixed-integer linear programming ap- proach.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets STL and wSTL control synthesis: A disjunction-centric mixed-integer linear programming ap- proach
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.003142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a8704a67-b024-481e-83cc-c2ddc09416bd · outbound
This paper cites Trajectory optimization for high-dimensional non- linear systems under stl specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Trajectory optimization for high-dimensional non- linear systems under stl specifications
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.035219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6a447957-c93b-4868-934e-937b26f618df · outbound
This paper cites Differential flatness of mechanical control systems: A catalog of prototype systems.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Differential flatness of mechanical control systems: A catalog of prototype systems
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.143170Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1a6ee013-6b63-4e6e-96a2-987fd8b54abb · outbound
This paper cites Marcucci,Graphs of Convex Sets with Applications to Optimal Control and Motion Planning.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Marcucci,Graphs of Convex Sets with Applications to Optimal Control and Motion Planning
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.137111Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e4bdfcf8-1019-4778-be59-e6a4e783ec88 · outbound
This paper cites Shortest paths in graphs of convex sets.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Shortest paths in graphs of convex sets
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.146170Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6aba9c89-f136-453a-a8f8-17fd6fcc7035 · outbound
This paper cites Motion planning around obstacles with convex optimization.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Motion planning around obstacles with convex optimization
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.124381Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d72929aa-34dc-47bc-8687-6fb6041f4515 · outbound
This paper cites Temporal logic motion planning with convex optimization via graphs of convex sets.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Temporal logic motion planning with convex optimization via graphs of convex sets
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.115298Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation bc05ee9a-6566-4508-9d2a-ada56d64e8c5 · outbound
This paper cites Reac- tive synthesis from signal temporal logic specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Reac- tive synthesis from signal temporal logic specifications
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.118424Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8cb93ab7-98ff-43cf-a133-48ba5aaf53bd · outbound
This paper cites Mixed integer linear pro- gramming approach for control synthesis with weighted signal temporal logic.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Mixed integer linear pro- gramming approach for control synthesis with weighted signal temporal logic
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.121444Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ecc877ee-fc16-4f13-81f1-bf2563a48162 · outbound
This paper cites Multi-agent motion planning from signal temporal logic specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Multi-agent motion planning from signal temporal logic specifications
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.127243Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b1c892bc-2dbf-49a1-9d65-7bae2a7d96c4 · outbound
This paper cites Optimization-based model checking and trace synthesis for complex stl specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Optimization-based model checking and trace synthesis for complex stl specifications
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.106023Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d49ac5fa-7f22-4f5d-82d3-b903b6ae3772 · outbound
This paper cites A theory of timed automata.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets A theory of timed automata
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.108693Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 733f007a-128e-49c4-b7b6-43ac3049170a · outbound
This paper cites The benefits of relaxing punctuality.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets The benefits of relaxing punctuality
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.112011Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6d68a04c-c1f5-4cb0-818f-2fb796240c54 · outbound
This paper cites MightyL: A compositional translation from MITL to timed automata.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets MightyL: A compositional translation from MITL to timed automata
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.130603Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e7882524-2966-4410-a004-ab1d492ce8ff · outbound
This paper cites From real-time logic to timed automata.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets From real-time logic to timed automata
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.149226Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f01e9f69-dc3a-409c-8821-a48e50be00c4 · outbound
This paper cites Computational methods for stochastic control with metric interval temporal logic specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Computational methods for stochastic control with metric interval temporal logic specifications
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.096350Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 92070242-6496-4d67-8541-c302ba551e8a · outbound
This paper cites Timed automata approach for motion planning using metric interval temporal logic.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Timed automata approach for motion planning using metric interval temporal logic
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.099745Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d32a6e25-aabf-4cfe-a004-dc70e154ddd3 · outbound
This paper cites Cooperative task planning of multi-agent systems under timed temporal specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Cooperative task planning of multi-agent systems under timed temporal specifications
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.102953Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 308eb1f5-50a2-449d-b947-e4858ef69b01 · outbound
This paper cites Efficient automata-based plan- ning and control under spatio-temporal logic specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Efficient automata-based plan- ning and control under spatio-temporal logic specifications
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.089551Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 91dccae6-cd50-4ffd-a56d-b853a31cd4b1 · outbound
This paper cites Randomized kinodynamic planning.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Randomized kinodynamic planning
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.082845Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3f3c0d7f-a6b1-4a04-a971-10e30b55d8d2 · outbound
This paper cites Sampling-based algorithms for optimal motion planning.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Sampling-based algorithms for optimal motion planning
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.086258Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3617bfaa-fcab-4643-b9ae-4ee91e8c8a30 · outbound
This paper cites Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.092892Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2df9366b-1ee5-4f20-94c1-ce09a905b817 · outbound
This paper cites RRT η: Sampling-based motion planning and control from stl specifications using arithmetic- geometric mean robustness.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets RRT η: Sampling-based motion planning and control from stl specifications using arithmetic- geometric mean robustness
Reference 38
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T04:35:20.750741Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 122aaffd-4d8b-40a7-ad2c-64390194a35d · outbound
This paper cites Sampling-based planning under stl specifications: A forward invariance approach.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Sampling-based planning under stl specifications: A forward invariance approach
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.077208Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 89b1fae3-30b3-4e2a-ada0-0b4603e91504 · outbound
This paper cites Automaton- guided control synthesis for signal temporal logic specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Automaton- guided control synthesis for signal temporal logic specifications
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.070720Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4c1f0ce6-d3b0-4663-8980-e17d41e993c9 · outbound
This paper cites Q-learning for robust satisfaction of signal temporal logic specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Q-learning for robust satisfaction of signal temporal logic specifications
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.074005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5dd654ba-2d36-49ef-b3d3-0c6e2b097cc3 · outbound
This paper cites Structured reward functions using stl.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Structured reward functions using stl
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.080120Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 664a8239-f99c-4cca-9eca-3fe53bb9f77a · outbound
This paper cites Tractable reinforcement learning of signal temporal logic objectives.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Tractable reinforcement learning of signal temporal logic objectives
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.058654Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 71cd5de9-fb3f-46bf-bedd-21d45c8f36a9 · outbound
This paper cites Model-free reinforcement learning for optimal control of markov decision processes under sig- nal temporal logic specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Model-free reinforcement learning for optimal control of markov decision processes under sig- nal temporal logic specifications
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.055888Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 91ec468b-28c7-4645-ae27-2c5de7450550 · outbound
This paper cites Deep reinforcement learning under signal temporal logic constraints using lagrangian relaxation.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Deep reinforcement learning under signal temporal logic constraints using lagrangian relaxation
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.062905Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6eb48b81-1877-43c9-ade7-f2e69c95f03a · outbound
This paper cites Synthesis of temporally-robust policies for signal temporal logic tasks using reinforcement learning.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Synthesis of temporally-robust policies for signal temporal logic tasks using reinforcement learning
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.047817Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e6cb1c68-bdf7-417f-9b6e-9ed789b32fcc · outbound
This paper cites Guided conditional diffusion for controllable traffic simulation.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Guided conditional diffusion for controllable traffic simulation
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.050580Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5fc3af26-fc84-4162-af0a-2e6195154a98 · outbound
This paper cites Diverse controllable diffusion policy with signal temporal logic.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Diverse controllable diffusion policy with signal temporal logic
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.053068Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 01431baf-70db-4d70-ad4d-d3d40f191ffd · outbound
This paper cites Zero-shot trajectory planning for signal temporal logic tasks.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Zero-shot trajectory planning for signal temporal logic tasks
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.067056Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e6ea4122-9084-47e1-b43e-f4eed050e7b8 · outbound
This paper cites DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
Reference 50
- Resolution
- verified exact
- local_arxiv, observed 2026-05-25T04:35:20.745715Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5e593014-87df-4b0d-ada1-ec558365bb91 · outbound
This paper cites Towards Tighter Convex Relaxation of Mixed-Integer Programs: Leveraging Logic Network Flow for Task and Motion Planning.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Towards Tighter Convex Relaxation of Mixed-Integer Programs: Leveraging Logic Network Flow for Task and Motion Planning
Reference 51
- Resolution
- verified exact
- arxiv_id, observed 2026-08-13T01:24:42.044673Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 57d99092-1297-47ca-bc02-30ee04c54eec · outbound
This paper cites Algorithms for polynomials in bernstein form.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Algorithms for polynomials in bernstein form
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.152097Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0f948404-b63b-4642-bf20-ef799a2a162d · outbound
This paper cites Computing large convex regions of obstacle- free space through semidefinite programming.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Computing large convex regions of obstacle- free space through semidefinite programming
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.042019Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d4c431e9-3797-4b3d-a9ed-47df5319ac99 · outbound
This paper cites Faster Algorithms for Growing Collision-Free Convex Polytopes in Robot Configuration Space.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Faster Algorithms for Growing Collision-Free Convex Polytopes in Robot Configuration Space
Reference 54
- Resolution
- verified exact
- arxiv_id, observed 2026-05-25T04:35:20.740394Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b29009ad-9c56-48e5-8531-57460247a126 · outbound
This paper cites Certified polyhedral decompositions of collision-free configuration space.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Certified polyhedral decompositions of collision-free configuration space
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.044931Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2ce1a953-4bcf-4273-b345-0c8564ec32ac · outbound
This paper cites an unresolved cited work.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-05-25T04:35:22.024991Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 826fb1d8-fbf4-43a9-8ed6-11235a82c25f · outbound
This paper cites Nesterov and A.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Nesterov and A
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.018487Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 24fbd997-abbf-4ac4-b7ae-b056d199491a · outbound
This paper cites ApS,The MOSEK Python Fusion API manual.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets ApS,The MOSEK Python Fusion API manual
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.028255Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9d2d2390-84f7-4326-b8af-be7313e83754 · outbound
This paper cites Minimum snap trajectory generation and control for quadrotors.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Minimum snap trajectory generation and control for quadrotors
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.015530Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1817b5c3-c755-4b2d-abaf-731d80fc90de · outbound
This paper cites Drake: Model-based design and verification for robotics.
Signal Temporal Logic Motion Planning via Graphs of Convex Sets Drake: Model-based design and verification for robotics
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-25T04:35:22.031932Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
Observation 331d3243-4641-4016-9c97-bf1b25b292a2 · inbound
STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets cites this paper.
STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Signal Temporal Logic Motion Planning via Graphs of Convex Sets
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T13:16:06.528609Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.