Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
4 links
Yiming Meng
Researcher
PaperSmooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay SpecificationsAuthorship / preprint / 2021PaperSufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier FunctionsAuthorship / preprint / 2022PaperRobustly Complete Finite-State Abstractions for Verification of Stochastic SystemsAuthorship / preprint / 2022PaperData-Driven Learning of Safety-Critical Control with Stochastic Control Barrier FunctionsAuthorship / preprint / 2022