STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets | Paper Citation Record

Observation 2d3131bd-feb7-442f-a5ea-0552e944370d · outbound

This paper cites MIT Press, 2025.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets MIT Press, 2025

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:02.679047Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edfe2598-6d63-4c3d-a795-d80cb8be3265 · outbound

This paper cites Motion planning with temporal-logic specifications: Progress and challenges.AI communications, 29(1):151– 162, 2015.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Motion planning with temporal-logic specifications: Progress and challenges.AI communications, 29(1):151– 162, 2015

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:02.775667Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9057f39-a08f-41fd-8a6e-4b5ddaa6cb32 · outbound

This paper cites Syn- thesis for robots: Guarantees and feedback for robot behavior.Annual Review of Control, Robotics, and Autonomous Systems, 1(1):211–236, 2018.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Syn- thesis for robots: Guarantees and feedback for robot behavior.Annual Review of Control, Robotics, and Autonomous Systems, 1(1):211–236, 2018

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:02.903319Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 511c691c-5ac3-456c-bfa5-0df695aa6093 · outbound

This paper cites Power line inspection tasks with multi-aerial robot systems via signal temporal logic specifications.IEEE Robotics and Automation Letters, 6(2):4169–4176, 2021.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Power line inspection tasks with multi-aerial robot systems via signal temporal logic specifications.IEEE Robotics and Automation Letters, 6(2):4169–4176, 2021

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:03.058906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02e3f399-74c3-4c43-8bfb-5f816a5533aa · outbound

This paper cites Temporal-logic-based reactive mission and motion planning.IEEE transactions on robotics, 25(6):1370–1381, 2009.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Temporal-logic-based reactive mission and motion planning.IEEE transactions on robotics, 25(6):1370–1381, 2009

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:03.167447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41d41d92-1c46-4398-9111-e48e0c36b84f · outbound

This paper cites Springer, 2017.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Springer, 2017

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:03.295972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41c9f598-2fe7-438d-be2c-cd7af48b1c82 · outbound

This paper cites Monitoring temporal properties of continuous signals.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Monitoring temporal properties of continuous signals

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:03.438312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 464b3ecc-426b-4130-bff4-c37dbb1e8666 · outbound

This paper cites Formal methods for control synthesis: An optimization perspective.Annual Review of Control, Robotics, and Autonomous Systems, 2(1):115–140, 2019.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Formal methods for control synthesis: An optimization perspective.Annual Review of Control, Robotics, and Autonomous Systems, 2(1):115–140, 2019

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:03.563919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a51ac02-3800-4c3a-bf68-c694761691de · outbound

This paper cites Mixed-integer programming for signal temporal logic with fewer binary variables.IEEE Control Systems Letters, 6:2635–2640, 2022.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Mixed-integer programming for signal temporal logic with fewer binary variables.IEEE Control Systems Letters, 6:2635–2640, 2022

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:03.701955Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab43f1a7-4d42-4a58-9ef5-dd409516c2aa · outbound

This paper cites Formal synthesis of control strategies for positive monotone systems.IEEE Transactions on Automatic Control, 64(2):480–495, 2018.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Formal synthesis of control strategies for positive monotone systems.IEEE Transactions on Automatic Control, 64(2):480–495, 2018

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:03.859666Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d6339b7-42c2-4504-899c-3d3b77156e0d · outbound

This paper cites Reactive synthesis from signal temporal logic specifications.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Reactive synthesis from signal temporal logic specifications

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:04.000014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea7ff1e2-080d-4cea-b831-88e789ae002a · outbound

This paper cites Control from signal temporal logic specifications with smooth cumula- tive quantitative semantics.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Control from signal temporal logic specifications with smooth cumula- tive quantitative semantics

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:04.178480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2881c54c-f466-433c-987d-e1ba697270cf · outbound

This paper cites Temporally robust multi-agent stl motion planning in continuous time.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Temporally robust multi-agent stl motion planning in continuous time

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:04.322746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0767257b-6508-4085-94cd-b86fc9c15570 · outbound

This paper cites Stlccp: Efficient convex optimization-based framework for signal tem- poral logic specifications.IEEE Transactions on Automatic Control, 2025.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Stlccp: Efficient convex optimization-based framework for signal tem- poral logic specifications.IEEE Transactions on Automatic Control, 2025

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:04.489750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 987e47b9-350c-44da-94f0-96f7b77e2e83 · outbound

This paper cites Successive Convexification for Trajectory Optimization with Continuous-time Satisfaction of Signal Temporal Logic Specifications.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Successive Convexification for Trajectory Optimization with Continuous-time Satisfaction of Signal Temporal Logic Specifications

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:04.655012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7241938d-1d4b-4a05-9509-4c2b5aa8f81b · outbound

This paper cites Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:04.820185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1dfa9a17-4a1a-4361-b591-d6487944ff0e · outbound

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

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Prescribed performance control for signal temporal logic specifications

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:04.957310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a02e1ea8-6419-4bf5-b833-5c40a8c18f7d · outbound

This paper cites Control barrier functions for signal temporal logic tasks.IEEE control systems letters, 3(1):96– 101, 2018.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Control barrier functions for signal temporal logic tasks.IEEE control systems letters, 3(1):96– 101, 2018

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:05.042469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a6e4017-7bc6-4caa-bbca-d9388cfc6da5 · outbound

This paper cites Sequen- tial control barrier functions for mobile robots with dynamic temporal logic specifications.Robotics and autonomous systems, 176:104681, 2024.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Sequen- tial control barrier functions for mobile robots with dynamic temporal logic specifications.Robotics and autonomous systems, 176:104681, 2024

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:05.138936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f770ff53-6e75-4596-aebf-bc704bd591b9 · outbound

This paper cites Resilient online planning for mobile robots with minimal relaxation of signal temporal logic specifications.IEEE Robotics and Automation Letters, 2025.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Resilient online planning for mobile robots with minimal relaxation of signal temporal logic specifications.IEEE Robotics and Automation Letters, 2025

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:05.259143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba38dd98-492c-4995-ba3b-a68331e5d09b · outbound

This paper cites An Operator-based Approach to STL.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets An Operator-based Approach to STL

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:05.356798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81fa7273-cf00-4246-a544-ce52f9fa4d78 · outbound

This paper cites Control barrier function based quadratic programs for safety critical systems.IEEE Transactions on Automatic Control, 62(8):3861–3876, 2016.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Control barrier function based quadratic programs for safety critical systems.IEEE Transactions on Automatic Control, 62(8):3861–3876, 2016

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:05.519719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19d7d08b-6418-4f10-9ca8-4bc67dd0b7ce · outbound

This paper cites Shortest paths in graphs of convex sets.SIAM Journal on Optimization, 34(1):507–532, 2024.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Shortest paths in graphs of convex sets.SIAM Journal on Optimization, 34(1):507–532, 2024

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:05.684360Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ee1edf0-2afd-406a-bdbd-3034646be9ca · outbound

This paper cites Motion planning around obstacles with convex optimization.Science robotics, 8(84):eadf7843, 2023.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Motion planning around obstacles with convex optimization.Science robotics, 8(84):eadf7843, 2023

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:05.810940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97d03ca3-5401-48e9-ae31-aaa87544ba0a · outbound

This paper cites Admm-based continuous trajectory optimization in graphs of convex sets.arXiv preprint arXiv:2603.11335, 2026.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Admm-based continuous trajectory optimization in graphs of convex sets.arXiv preprint arXiv:2603.11335, 2026

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:05.957584Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7484a964-8209-4575-b894-f44dc9d2bd33 · outbound

This paper cites Temporal logic motion planning with convex optimization via graphs of convex sets.IEEE Transactions on Robotics, 39(5):3791–3804, 2023.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Temporal logic motion planning with convex optimization via graphs of convex sets.IEEE Transactions on Robotics, 39(5):3791–3804, 2023

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:06.104159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cadc09cb-2e4b-435f-9fa7-4d10a35bca15 · outbound

This paper cites Continuous-time control synthesis under nested signal temporal logic specifications.IEEE Transactions on Robotics, 40:2272–2286, 2024.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Continuous-time control synthesis under nested signal temporal logic specifications.IEEE Transactions on Robotics, 40:2272–2286, 2024

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:06.253461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d983313-5e90-4183-9bb3-013598063ccf · outbound

This paper cites Sampling-based planning under stl specifications: A forward invariance approach.IEEE Transactions on Automatic Control, 2026.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Sampling-based planning under stl specifications: A forward invariance approach.IEEE Transactions on Automatic Control, 2026

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:06.411341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 331d3243-4641-4016-9c97-bf1b25b292a2 · outbound

This paper cites Signal Temporal Logic Motion Planning via Graphs of Convex Sets.

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.

Observation 18dffc47-537b-480d-9502-ba3ea9c8357d · outbound

This paper cites A Framework for Motion Planning with Temporal Logic Precedence Specifications via Augmented Graphs of Convex Sets.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets A Framework for Motion Planning with Temporal Logic Precedence Specifications via Augmented Graphs of Convex Sets

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:06.599070Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fda337c-9101-42a0-98a0-18e0a950b837 · outbound

This paper cites Discontinuous dynamical systems.IEEE Control systems magazine, 28(3):36–73, 2008.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Discontinuous dynamical systems.IEEE Control systems magazine, 28(3):36–73, 2008

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:06.751140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 310932da-e592-4472-9e69-32824b565daf · outbound

This paper cites Differential flatness of mechanical control systems: A catalog of prototype systems.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Differential flatness of mechanical control systems: A catalog of prototype systems

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:06.846206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e63220ef-7cce-48fd-9d7f-df90ef09405e · outbound

This paper cites Flat- ness and defect of non-linear systems: introductory theory and examples.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Flat- ness and defect of non-linear systems: introductory theory and examples

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:07.016861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43373532-4e31-480a-b750-0455dcf4757c · outbound

This paper cites Bezier reachable polytopes: Efficient certificates for robust motion planning with layered architec- tures.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Bezier reachable polytopes: Efficient certificates for robust motion planning with layered architec- tures

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:07.162093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77c0e121-5a6c-4b02-8fdc-09fdef86f75b · outbound

This paper cites Safety-critical control for autonomous systems: Control barrier functions via reduced- order models.Annual Reviews in Control, 57:100947, 2024.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Safety-critical control for autonomous systems: Control barrier functions via reduced- order models.Annual Reviews in Control, 57:100947, 2024

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:07.294154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efddfff8-947d-4ce0-a050-4e6ac2ced1aa · outbound

This paper cites Convex programming for disjunctive convex optimization.Mathematical Programming, 86(3):595–614, 1999.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Convex programming for disjunctive convex optimization.Mathematical Programming, 86(3):595–614, 1999

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:07.427822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 456a2bda-3dfa-4e38-99c3-4ecfbfb461b7 · outbound

This paper cites A unified and scalable method for optimization over graphs of convex sets.arXiv preprint arXiv:2510.20184, 2025.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets A unified and scalable method for optimization over graphs of convex sets.arXiv preprint arXiv:2510.20184, 2025

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:07.556543Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 564ba880-47fa-427f-b236-23ea1553746e · outbound

This paper cites Trajectory planning.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Trajectory planning

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:07.663954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3d477ab-9568-478f-9831-7ab666ecc128 · outbound

This paper cites Barrier function-based model predictive control under signal temporal logic specifications.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Barrier function-based model predictive control under signal temporal logic specifications

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:07.804609Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 424cd803-f236-4497-bef1-ac708bb28381 · outbound

This paper cites Set containment characterization.Journal of Global Optimization, 24(4):473–480, 2002.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Set containment characterization.Journal of Global Optimization, 24(4):473–480, 2002

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:07.943101Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd565011-ad46-4c26-b6d9-59cce199bfc9 · outbound

This paper cites Linear encodings for polytope containment problems.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Linear encodings for polytope containment problems

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:08.054838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4be416d7-43f6-49e4-9eb7-fa6ee2aec0cd · outbound

This paper cites Certified polyhedral decompositions of collision-free configuration space.The International Journal of Robotics Research, 43(9):1322–1341, 2024.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Certified polyhedral decompositions of collision-free configuration space.The International Journal of Robotics Research, 43(9):1322–1341, 2024

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:08.188341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d626565-d4b9-4d5e-9dab-e2c0b9458d96 · outbound

This paper cites Fast iterative region inflation for computing large 2-d/3-d convex regions of obstacle- free space.IEEE Transactions on Robotics, 2025.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Fast iterative region inflation for computing large 2-d/3-d convex regions of obstacle- free space.IEEE Transactions on Robotics, 2025

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:08.259758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90d6fbfa-fefe-4c72-98a2-9a03fcefafde · outbound

This paper cites Superfast Configuration-Space Convex Set Computation on GPUs for Online Motion Planning.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Superfast Configuration-Space Convex Set Computation on GPUs for Online Motion Planning

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:08.373499Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc14da9a-5a24-4c8c-ade1-e6d97ea4ea4c · outbound

This paper cites Multi-rate planning and control of uncertain nonlinear systems: Model predictive control and control lyapunov functions.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Multi-rate planning and control of uncertain nonlinear systems: Model predictive control and control lyapunov functions

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:08.507436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5adc83f2-30b7-4581-8891-969cd812f24e · outbound

This paper cites A nonsmooth approach to controller synthesis for boolean specifications.IEEE Transactions on Automatic Control, 66(11):5160–5174, 2020.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets A nonsmooth approach to controller synthesis for boolean specifications.IEEE Transactions on Automatic Control, 66(11):5160–5174, 2020

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:08.652842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38d52979-1244-426d-95df-d58554f34b45 · outbound

This paper cites Safe and dy- namically feasible motion planning using control lyapunov and barrier functions.IEEE Transactions on Robotics, 41:6440–6459, 2025.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Safe and dy- namically feasible motion planning using control lyapunov and barrier functions.IEEE Transactions on Robotics, 41:6440–6459, 2025

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:08.791415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba1c4c3a-bd6b-4eea-b23d-d5abee3f3343 · outbound

This paper cites High- order barrier functions: Robustness, safety, and performance-critical control.IEEE Transactions on Automatic Control, 67(6):3021–3028, 2021.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets High- order barrier functions: Robustness, safety, and performance-critical control.IEEE Transactions on Automatic Control, 67(6):3021–3028, 2021

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:08.894209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bea33b85-5007-44a7-87c4-386b7368685c · outbound

This paper cites High-order control barrier functions.IEEE Transactions on Automatic Control, 67(7):3655–3662, 2021.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets High-order control barrier functions.IEEE Transactions on Automatic Control, 67(7):3655–3662, 2021

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:08.983556Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cca9fecf-7a0a-485b-8027-72be3acc6d23 · outbound

This paper cites Safe backstepping with control barrier functions.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Safe backstepping with control barrier functions

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:09.053950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a6caf9f-0ee3-483f-8e29-5fd85416c441 · outbound

This paper cites Cambridge university press, 2004.

STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets Cambridge university press, 2004

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-01T13:16:09.137969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers