Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems | Paper Citation Record

Observation 7ea5a68b-71fa-4f6c-863d-288c915f6438 · outbound

This paper cites Sub- space identification of large-scale interconnected systems.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Sub- space identification of large-scale interconnected systems

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:34.197461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f06ff564-df3c-4a13-9e2e-beb83773886e · outbound

This paper cites Small-gain theorem for safety verification of inter- connected systems.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Small-gain theorem for safety verification of inter- connected systems

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:34.297031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96d24e3e-fce5-4588-bf82-151cf9dadd10 · outbound

This paper cites Privacy-preserving distributed estimation for interconnected dynamic systems.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Privacy-preserving distributed estimation for interconnected dynamic systems

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:34.409920Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7b0c431-d9a9-431f-b8a7-363d78d45ade · outbound

This paper cites an unresolved cited work.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:34.498962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c465048-61db-4205-877b-4cf056ca2512 · outbound

This paper cites String stability in microgrids using frequency controlled inverter chains.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems String stability in microgrids using frequency controlled inverter chains

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:34.570256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc48b456-271b-4534-b5b1-64bc23a78abd · outbound

This paper cites Opti- mal control of interconnected systems with time- correlated noises: Application to vehicle platoon.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Opti- mal control of interconnected systems with time- correlated noises: Application to vehicle platoon

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:34.629229Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f0bc6b4-a8f4-45f0-b5b9-e892f220c571 · outbound

This paper cites A parameter privacy-preserving strategy for mixed-autonomy platoon control.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems A parameter privacy-preserving strategy for mixed-autonomy platoon control

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:34.688485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6cebb80-661c-4949-b990-e792f2bd3cea · outbound

This paper cites Model pre- dictive control of interconnected linear and nonlin- ear processes.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Model pre- dictive control of interconnected linear and nonlin- ear processes

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:34.813371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ee5834d-753a-4539-ad64-da880afa32d6 · outbound

This paper cites String stability for vehicular platoon control: Definitions and analysis methods.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems String stability for vehicular platoon control: Definitions and analysis methods

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:34.927082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f65dfad7-008e-4f90-84d4-8c3ffef27dab · outbound

This paper cites Leading cruise control in mixed traffic flow: System modeling, controllability, and string stability.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Leading cruise control in mixed traffic flow: System modeling, controllability, and string stability

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.035693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 401a63fe-d718-4958-bb71-0605f1489ca2 · outbound

This paper cites String stable and collision-safe model predictive platoon control.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems String stable and collision-safe model predictive platoon control

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.134895Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4688122-2514-44de-a3fe-33eea37f09fa · outbound

This paper cites Adaptive learning-based model predictive control for uncer- tain interconnected systems: A set membership identification approach.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Adaptive learning-based model predictive control for uncer- tain interconnected systems: A set membership identification approach

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.259721Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eeac74e2-2ec5-4e94-b117-094d468d61bb · outbound

This paper cites Distributed adap- tive integrated-sliding-mode controller synthesis for string stability of vehicle platoons.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Distributed adap- tive integrated-sliding-mode controller synthesis for string stability of vehicle platoons

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.346570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7675378d-7ec0-4176-9bbf-aad0158873e5 · outbound

This paper cites End-to-end safe reinforce- ment learning through barrier functions for safety- critical continuous control tasks.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems End-to-end safe reinforce- ment learning through barrier functions for safety- critical continuous control tasks

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.426651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2ce0583-b82c-41c2-8e63-8004c0e934fc · outbound

This paper cites A reinforce- ment learning-based vehicle platoon control strat- egy for reducing energy consumption in traffic os- cillations.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems A reinforce- ment learning-based vehicle platoon control strat- egy for reducing energy consumption in traffic os- cillations

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.525092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 806ffbfe-ccfa-42a8-8c7d-f19c69273c2d · outbound

This paper cites En- hancing system-level safety in mixed-autonomy pla- toon via safe reinforcement learning.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems En- hancing system-level safety in mixed-autonomy pla- toon via safe reinforcement learning

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.623982Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe860410-68b3-4e57-9a87-571897a59446 · outbound

This paper cites On the string stability of neural network-based car-following models: A generic analysis framework.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems On the string stability of neural network-based car-following models: A generic analysis framework

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.713386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b68eedc4-d0fc-4fd9-843b-f6b0c43769fb · outbound

This paper cites Lyapunov-stable neural-network control.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Lyapunov-stable neural-network control

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.766733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05ee9e05-0df9-492e-852e-23fd05968549 · outbound

This paper cites Lyapunov- stable neural control for state and output feedback: A novel formulation.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Lyapunov- stable neural control for state and output feedback: A novel formulation

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.862247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b460825-bf00-4073-8fb7-37ed1842b369 · outbound

This paper cites Safe and reliable training of learning-based aerospace controllers.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Safe and reliable training of learning-based aerospace controllers

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.913536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcd11161-96b9-4ed7-9898-2760526a7ab6 · outbound

This paper cites Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:35.976992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9decb62-5d78-4dcf-8c40-c0bc1347aae7 · outbound

This paper cites Compositional neural certificates for networked dynamical systems.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Compositional neural certificates for networked dynamical systems

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.079037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bff7cd68-aab0-42ba-8513-8ef0255ee6e3 · outbound

This paper cites Scal- able input-to-state stability of nonlinear intercon- nected systems.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Scal- able input-to-state stability of nonlinear intercon- nected systems

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.153633Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c066f08-fb3a-43ac-91a7-dcaf452b7876 · outbound

This paper cites Heterogeneous string stability of unidirectionally interconnected mimo lti systems.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Heterogeneous string stability of unidirectionally interconnected mimo lti systems

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.219016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f850606-3821-450f-93ac-5b34aa2c5d11 · outbound

This paper cites String stable inte- gral control design for vehicle platoons with distur- bances.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems String stable inte- gral control design for vehicle platoons with distur- bances

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.282951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e06adcd-91c0-476f-9f97-b6479b988a84 · outbound

This paper cites On stochastic string stability with applications to platooning over addi- tive noise channels.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems On stochastic string stability with applications to platooning over addi- tive noise channels

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.340542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dba765f7-ccca-4218-ac3a-e55792ecd0b7 · outbound

This paper cites String stabil- ity of energy-saving aircraft formations.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems String stabil- ity of energy-saving aircraft formations

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.449067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9af472f-63e6-4732-b1c2-d4d942bb366d · outbound

This paper cites Multiobjective h∞ control for string stability of cooperative adaptive cruise con- trol systems.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Multiobjective h∞ control for string stability of cooperative adaptive cruise con- trol systems

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.505976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8000dbb0-6f7c-42cc-970d-52160a4bdba0 · outbound

This paper cites Data-driven analysis for disturbance amplification in car-following behavior of automated vehicles.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Data-driven analysis for disturbance amplification in car-following behavior of automated vehicles

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.596425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5adf3542-2add-4edb-91a6-65c09db19ef8 · outbound

This paper cites Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.648585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd0ea1e2-4d03-4f2e-a232-a1cac1dd693e · outbound

This paper cites Model-free safe re- inforcement learning through neural barrier cer- tificate.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Model-free safe re- inforcement learning through neural barrier cer- tificate

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.742469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b47b4da3-91f7-4d29-9d0e-d5be16ba6a96 · outbound

This paper cites Synthesizing barrier certificates using neu- ral networks.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Synthesizing barrier certificates using neu- ral networks

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.796412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d780e3b3-856b-422c-a96d-94b23d988690 · outbound

This paper cites Learning a formally verified control barrier function in stochas- tic environment.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Learning a formally verified control barrier function in stochas- tic environment

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.867734Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c013613-e5da-4e5a-8a44-1c59245dd76e · outbound

This paper cites Simultaneous synthesis and verification of neural control barrier functions through branch-and-bound verification- in-the-loop training.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Simultaneous synthesis and verification of neural control barrier functions through branch-and-bound verification- in-the-loop training

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:36.946145Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b90bc464-0e3c-44f2-8610-ac81b5689aa7 · outbound

This paper cites Exact verification of relu neural control barrier functions.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Exact verification of relu neural control barrier functions

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.022544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d1ac305-8484-48e7-a80a-d9ce1ebc26c2 · outbound

This paper cites Data-driven verification and synthesis of stochastic systems via barrier certifi- cates.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Data-driven verification and synthesis of stochastic systems via barrier certifi- cates

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.073888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bd5125d-efb5-42db-b08e-6d95892589a8 · outbound

This paper cites Safe reach set computation via neural barrier certificates.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Safe reach set computation via neural barrier certificates

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.153855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72ff6e63-14ed-43a8-ac42-2e956f3c1521 · outbound

This paper cites Verification of neural control barrier functions with symbolic derivative bounds propaga- tion.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Verification of neural control barrier functions with symbolic derivative bounds propaga- tion

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.235535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb74c367-c3a0-44b9-ab90-ea5f1662b247 · outbound

This paper cites Gcbf+: A neural graph control barrier function framework for distributed safe multi-agent control.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Gcbf+: A neural graph control barrier function framework for distributed safe multi-agent control

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.301673Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 375ee664-4740-40b9-b8d1-7b2e649f36dd · outbound

This paper cites Counterexample-guided computation of polyhedral 13 lyapunov functions for piecewise linear systems.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Counterexample-guided computation of polyhedral 13 lyapunov functions for piecewise linear systems

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.370730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e158e78-180b-4269-b63d-6ff77fa7dfcc · outbound

This paper cites Stability analy- sis of switched linear systems with neural lyapunov functions.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Stability analy- sis of switched linear systems with neural lyapunov functions

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.465186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50c3d7ba-529f-49ab-97ca-6b8362b2100d · outbound

This paper cites Physics-informed neural network lyapunov functions: Pde characterization, learning, and verification.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Physics-informed neural network lyapunov functions: Pde characterization, learning, and verification

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.552176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9830002-637d-4693-97be-367539299cd7 · outbound

This paper cites Certified training: Small boxes are all you need.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Certified training: Small boxes are all you need

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.587371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2831f6fa-ac14-48be-b82e-afc8e5876a94 · outbound

This paper cites On adaptive attacks to ad- versarial example defenses.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems On adaptive attacks to ad- versarial example defenses

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.637646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19f916df-1cd1-46d3-ba97-d53fcdbd41de · outbound

This paper cites Beta-crown: Efficient bound propagation with per- neuron split constraints for neural network robust- ness verification.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Beta-crown: Efficient bound propagation with per- neuron split constraints for neural network robust- ness verification

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.704352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb173b07-1f5b-43f8-8a3d-629910adfd7d · outbound

This paper cites Marabou 2.0: a versatile formal analyzer of neural networks.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Marabou 2.0: a versatile formal analyzer of neural networks

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.778617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3a97e6b-2cf1-447d-8f5b-5edb4944519c · outbound

This paper cites Nnv 2.0: the neural network verification tool.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Nnv 2.0: the neural network verification tool

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.863610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55c164de-f3c3-40fa-a799-4485dfbc9f03 · outbound

This paper cites A novel counterexample-guided inductive synthe- sis framework for barrier certificate generation.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems A novel counterexample-guided inductive synthe- sis framework for barrier certificate generation

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:37.965938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 244a4033-611f-444a-94fe-ea23f863ebb0 · outbound

This paper cites Eclipse: Effi- cient compositional lipschitz constant estimation for deep neural networks.Advances in Neural Infor- mation Processing Systems, 37:10414–10441, 2024.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Eclipse: Effi- cient compositional lipschitz constant estimation for deep neural networks.Advances in Neural Infor- mation Processing Systems, 37:10414–10441, 2024

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:38.072224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7dcc3828-7f8d-49b6-9d88-d8b2579ec50c · outbound

This paper cites an unresolved cited work.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:38.146385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 330924a2-9c62-4b92-b766-1d696b9bd2ae · outbound

This paper cites Automatic Perturba- tion Analysis for Scalable Certified Robustness and Beyond.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Automatic Perturba- tion Analysis for Scalable Certified Robustness and Beyond

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:38.217159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb8e312e-955e-4cf1-83fc-34c5661c510d · outbound

This paper cites Lomuscio.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Lomuscio

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:38.277559Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b0800a8-538c-4f2d-96e6-127b039518aa · outbound

This paper cites Input convex neural networks.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Input convex neural networks

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:38.323551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dc90ce2-2f75-4186-9355-180b6b0a5a72 · outbound

This paper cites Full ve- locity difference model for a car-following theory.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Full ve- locity difference model for a car-following theory

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:38.363482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05717a9a-523b-44a0-b216-99d1e9e74be6 · outbound

This paper cites A compendium of compar- ison function results.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems A compendium of compar- ison function results

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:38.439689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b329024-3f14-4c06-a0ad-fa4e231a8ae0 · outbound

This paper cites Contemporary abstract algebra.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Contemporary abstract algebra

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:38.512776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64f48278-4519-46a1-9c98-d695ba34821d · outbound

This paper cites The quickhull algorithm for convex hulls.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems The quickhull algorithm for convex hulls

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:38.562290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a74483d-bfcd-4c27-b504-c1a26bdc0436 · outbound

This paper cites an unresolved cited work.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:38.623059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c56979c2-7c8e-415d-b0eb-7c9538bb76a7 · outbound

This paper cites Then, the small-gain condition is satisfied, and by Eq.

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems Then, the small-gain condition is satisfied, and by Eq

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-04T18:14:38.704729Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers