Source author record

Xiao-Yi Zhang

Xiao-Yi Zhang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

hep-th Logic in Computer Science Robotics

Catalog footprint

What is connected

2works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2025arXiv

Holographic Wilson Loop One-point Functions in ABJM Theory

We compute the correlation function between a circular half-BPS Wilson loop (or straight Wilson line) and a local operator in ABJM theory utilizing its M-theory description. The local operator can be a $1/3$-BPS single-trace chiral primary operator or the stress-energy tensor. Using the AdS/CFT correspondence, these correlators are dual to fluctuations of a probe M2-brane in $AdS_4 \times S^7/\mathbb{Z}_k$. We derive analytic results for both cases and compare them with existing results based on supersymmetric localization in the literature. In the large-$N$ limit with $k$ finite, our holograkphic results exhibit perfect agreement with localization.

preprint2022arXiv

Goal-Aware RSS for Complex Scenarios via Program Logic

We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS rules guarantee goal achievement -- in addition to collision avoidance as in the original RSS -- requires complex planning over long sequences of manoeuvres. To deal with the complexity, we introduce a compositional reasoning framework based on program logic, in which one can systematically develop RSS rules for smaller subscenarios and combine them to obtain RSS rules for bigger scenarios. As the basis of the framework, we introduce a program logic dFHL that accommodates continuous dynamics and safety conditions. Our framework presents a dFHL-based workflow for deriving goal-aware RSS rules; we discuss its software support, too. We conducted experimental evaluation using RSS rules in a safety architecture. Its results show that goal-aware RSS is indeed effective in realising both collision avoidance and goal achievement.