Paper Citation Record · LEDGER

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications

As of 16 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:1908.04903.

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

pith.paper-citation-record.v1
1908.04903 v2

Coverage vector

measured 45 of 45 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:39:50.017664Z

measured 45 of 45 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+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

45 of 45 outbound references displayed

verified exact2
verified fuzzy38
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0d723e3b-87b5-4f29-af0a-cea9a02a81e3 · outbound

This paper cites Towards formal synthesis of reactive controllers for dexter- ous robotic manipulation,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Towards formal synthesis of reactive controllers for dexter- ous robotic manipulation,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.845014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6790ad59-b6c0-4226-8e29-f9d688b2b43e · outbound

This paper cites Hierarchical task and motion planning in the now,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Hierarchical task and motion planning in the now,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.826477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a165f26d-d3cc-4710-8f15-7c962a37326a · outbound

This paper cites Safe certiﬁcate-based ma- neuvers for teams of quadrotors using differential ﬂatness,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Safe certiﬁcate-based ma- neuvers for teams of quadrotors using differential ﬂatness,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.808356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 3995be88-d290-4fa8-8d08-3fba237165bd · outbound

This paper cites Trustworthy cyber infrastructure for the power grid (tcip-g),.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Trustworthy cyber infrastructure for the power grid (tcip-g),

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.787248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6b86e295-f1f3-4c27-ad69-8e7a094f3521 · outbound

This paper cites Your ﬁrst look inside amazon’s robot warehouse of tomorrow,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Your ﬁrst look inside amazon’s robot warehouse of tomorrow,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.748051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 675139f2-ebeb-4533-a896-e2e6c61aba67 · outbound

This paper cites Available: https://www.dhs.gov/cisa/ critical-infrastructure-sectors.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Available: https://www.dhs.gov/cisa/ critical-infrastructure-sectors

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.730060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 14e96775-3d9f-4477-8e36-f0254e5c8375 · outbound

This paper cites Interior methods for nonlinear optimization,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Interior methods for nonlinear optimization,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T13:39:49.818206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26607d83-3924-4f7d-8299-2642f216aeb1 · outbound

This paper cites Control barrier function based quadratic programs with application to adaptive cruise control,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Control barrier function based quadratic programs with application to adaptive cruise control,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.699097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0770db38-e22a-4b05-ba5c-35ca84db2b0d · outbound

This paper cites Robustness of Control Barrier Functions for Safety Critical Control.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Robustness of Control Barrier Functions for Safety Critical Control

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:39:50.110552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b09e39f1-50a8-418f-9f95-fa5c4268b861 · outbound

This paper cites Safety barrier certiﬁcates for collisions-free multirobot systems,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Safety barrier certiﬁcates for collisions-free multirobot systems,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.681123Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4a84ec34-d6ee-44d9-b00e-a77353a7e740 · outbound

This paper cites Safety barrier certiﬁcates for het- erogeneous multi-robot systems,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Safety barrier certiﬁcates for het- erogeneous multi-robot systems,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.662059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 003905ab-5087-4fe0-84c6-7e647d2bb286 · outbound

This paper cites Formally correct composition of coordinated behaviors using control barrier certiﬁcates,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Formally correct composition of coordinated behaviors using control barrier certiﬁcates,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.643199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation cba7080b-507e-4b9c-ab74-dac99e3598ee · outbound

This paper cites Control of multi-agent systems with ﬁnite time control barrier certiﬁcates and temporal logic,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Control of multi-agent systems with ﬁnite time control barrier certiﬁcates and temporal logic,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.626534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f3610025-dd26-4314-b0e3-8778c03b0245 · outbound

This paper cites Barrier function certiﬁcates for forward invariance in hybrid inclusions,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Barrier function certiﬁcates for forward invariance in hybrid inclusions,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.607076Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 03f125d5-6a62-4a07-a5df-a8e898f7e5dd · outbound

This paper cites Baier and J.-P.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Baier and J.-P

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.586828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 18735191-1f5a-4d81-a2a8-6a3ed1f22685 · outbound

This paper cites Discrete abstractions of hybrid systems,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Discrete abstractions of hybrid systems,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.566597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 255b8528-9c55-4de6-a0eb-e47839207803 · outbound

This paper cites Controlling a class of nonlin- ear systems on rectangles,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Controlling a class of nonlin- ear systems on rectangles,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.547732Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 42ca6a42-0828-4f62-b673-a152fe6bf40c · outbound

This paper cites A fully automated framework for control of linear systems from temporal logic speciﬁcations,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications A fully automated framework for control of linear systems from temporal logic speciﬁcations,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.529117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ed727f32-209e-4115-87e6-6fbda8d75410 · outbound

This paper cites Receding horizon temporal logic planning,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Receding horizon temporal logic planning,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.511285Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c973dfc0-b433-414a-acad-8bdfcf6ceb06 · outbound

This paper cites Motion planning with complex goals,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Motion planning with complex goals,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.494828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d1d73f20-e159-4aa5-ad09-de2e91df48c6 · outbound

This paper cites Temporal logic motion planning for dynamic robots,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Temporal logic motion planning for dynamic robots,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-14T13:39:49.893378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02abe1ae-dcaa-4442-9416-0802631cbdc2 · outbound

This paper cites Control barrier functions for signal temporal logic tasks,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Control barrier functions for signal temporal logic tasks,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.467066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 8adadc58-c37b-4b7f-8d1b-1413daf55ceb · outbound

This paper cites Decentralized control barrier functions for coupled multi-agent systems under signal temporal logic tasks,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Decentralized control barrier functions for coupled multi-agent systems under signal temporal logic tasks,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.447640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6617ac19-759a-40ce-95aa-644425e29778 · outbound

This paper cites Model predictive control with signal temporal logic speciﬁcations,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Model predictive control with signal temporal logic speciﬁcations,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-14T13:39:49.911362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89d8ee29-5c93-4a79-b7de-b3d451ede394 · outbound

This paper cites Formal methods for control synthesis: An optimization perspective,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Formal methods for control synthesis: An optimization perspective,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.419151Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 66b25f85-044a-4614-888c-eddd8c89617e · outbound

This paper cites Distributed communication- aware motion planning for multi-agent systems from stl and spatel speciﬁcations,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Distributed communication- aware motion planning for multi-agent systems from stl and spatel speciﬁcations,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.402808Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation fa874061-ab69-442a-909b-22f72cff7207 · outbound

This paper cites Shrinking horizon model predictive control with chance-constrained signal temporal logic speciﬁcations,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Shrinking horizon model predictive control with chance-constrained signal temporal logic speciﬁcations,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.385293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1673eb6f-799a-4830-99f7-994972d894d4 · outbound

This paper cites Q-learning for robust satisfaction of signal temporal logic speciﬁcations,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Q-learning for robust satisfaction of signal temporal logic speciﬁcations,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.366850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c342c177-9158-4d22-92d0-25ba54c45115 · outbound

This paper cites Enforcing signal temporal logic speciﬁcations in multi-agent adversarial environments: A deep q-learning approach,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Enforcing signal temporal logic speciﬁcations in multi-agent adversarial environments: A deep q-learning approach,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.351038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6837f067-4305-48d6-8b24-ccf5ebda676e · outbound

This paper cites Prescribed Performance Control Guided Policy Improvement for Satisfying Signal Temporal Logic Tasks.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Prescribed Performance Control Guided Policy Improvement for Satisfying Signal Temporal Logic Tasks

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-14T13:39:49.941160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9907f74b-148d-433e-ade8-4a0f7767a60e · outbound

This paper cites Decentralized robust control of coupled multi-agent systems under local signal temporal logic tasks,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Decentralized robust control of coupled multi-agent systems under local signal temporal logic tasks,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.334806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1d712c22-38f7-457d-8c9e-ca03de3e1846 · outbound

This paper cites Fly-by-logic: Control of multi-drone ﬂeets with temporal logic objectives,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Fly-by-logic: Control of multi-drone ﬂeets with temporal logic objectives,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.318214Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 75c07be0-749e-453d-a54d-12b49e83b244 · outbound

This paper cites Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.301592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a6f00957-c625-4a7b-9351-88c2ae737ffe · outbound

This paper cites Control barrier functions for systems with high relative degree,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Control barrier functions for systems with high relative degree,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.284818Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 8957ff64-223b-432e-861f-d87b2269b948 · outbound

This paper cites An Optimal Task Allocation Strategy for Heterogeneous Multi-Robot Systems.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications An Optimal Task Allocation Strategy for Heterogeneous Multi-Robot Systems

Reference 35

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:39:50.066982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1ae6e154-8c53-401b-a3f9-8cc6fb42bd00 · outbound

This paper cites an unresolved cited work.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:39:50.268072Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 9cd32eba-e014-480f-9bb3-4715e0081efe · outbound

This paper cites Revising motion planning under linear temporal logic speciﬁcations in partially known workspaces,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Revising motion planning under linear temporal logic speciﬁcations in partially known workspaces,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.252503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2f23ddad-ccd0-4844-84b4-c88a1960439a · outbound

This paper cites Efﬁcient reactive controller synthesis for a fragment of linear temporal logic,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Efﬁcient reactive controller synthesis for a fragment of linear temporal logic,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.232653Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 38ac5899-dd4b-4adf-8759-021d0a11577b · outbound

This paper cites Temporal-logic-based reactive mission and motion planning,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Temporal-logic-based reactive mission and motion planning,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.215885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c0dff56c-d735-48c1-a41a-d7ccdef0fd9f · outbound

This paper cites Automata theory meets barrier certiﬁcates: Temporal logic veriﬁcation of nonlinear sys- tems,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Automata theory meets barrier certiﬁcates: Temporal logic veriﬁcation of nonlinear sys- tems,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.196804Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 9856b1cb-7682-47f2-b962-a0be605a326f · outbound

This paper cites Control barrier function based quadratic programs for safety critical systems,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Control barrier function based quadratic programs for safety critical systems,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.178942Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6450bc53-f834-407c-ab4b-bf2b11283064 · outbound

This paper cites The robotarium: A remotely accessible swarm robotics research testbed,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications The robotarium: A remotely accessible swarm robotics research testbed,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.162283Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4eab321c-dd32-456c-8e7b-9de74eff5028 · outbound

This paper cites Hybrid nonsmooth barrier functions with applications to provably safe and composable collision avoidance for robotic systems,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Hybrid nonsmooth barrier functions with applications to provably safe and composable collision avoidance for robotic systems,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.144853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 009c8d55-3bc3-45b2-86f7-56a9f278d986 · outbound

This paper cites Near-identity diffeomorphisms and exponential ε- tracking and ε-stabilization of ﬁrst-order nonholonomic SE(2) vehicles,.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Near-identity diffeomorphisms and exponential ε- tracking and ε-stabilization of ﬁrst-order nonholonomic SE(2) vehicles,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.127615Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 9ba32455-9337-42fd-be70-b013c7f43a74 · outbound

This paper cites Available: https://www.dhs.gov/science-and-technology/ trustworthy-cyber-infrastructure-power-grid-tcip-g.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Available: https://www.dhs.gov/science-and-technology/ trustworthy-cyber-infrastructure-power-grid-tcip-g

Reference 2019

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:39:50.767991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

No inbound Pith citation observations are available.