BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Bai Xue
SearchCollections
Map detail
Bai Xue16 visible / 16 total nodes / 27 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Co-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onAuthorshipWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipAuthorshipBai XueABai XueResearcherStochastic Minimum-Cost Reach-Avoid Reinforcement LearningWStochastic Minimum-Cost...preprint / 2026Jingduo PanAJingduo PanResearcherYiling XueAYiling XueResearcherTaoran WuATaoran WuResearcherReach-avoid Verification Based on Convex OptimizationWReach-avoid Verificatio...preprint / 2022PAC Model Checking of Black-Box Continuous-Time Dynamical SystemsWPAC Model Checking of B...preprint / 2020Robust Regions of Attraction Generation for State-Constrained Perturbed Discrete-Time Polynomial SystemsWRobust Regions of Attra...preprint / 2020Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential EquationsWOver- and Under-Approxi...preprint / 2020Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time SystemsWSufficient and Necessar...preprint / 2026Machine LearningTMachine Learning49008 worksUnbounded-Time Safety Verification of Stochastic Differential DynamicsWUnbounded-Time Safety V...preprint / 2020Nonlinear Craig Interpolant GenerationWNonlinear Craig Interpo...preprint / 2020Synthesizing Invariant Clusters for Polynomial Programs by Semidefinite ProgrammingWSynthesizing Invariant ...preprint / 2022Towards Practical Robustness Analysis for DNNs based on PAC-Model LearningWTowards Practical Robus...preprint / 2022Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic SystemsWConverse Barrier Certif...preprint / 2026
Person15 links

Bai Xue

Researcher

PaperStochastic Minimum-Cost Reach-Avoid Reinforcement LearningAuthorship / preprint / 2026PersonJingduo PanCo-authorship / ResearcherPersonYiling XueCo-authorship / ResearcherPersonTaoran WuCo-authorship / ResearcherPaperReach-avoid Verification Based on Convex OptimizationAuthorship / preprint / 2022PaperPAC Model Checking of Black-Box Continuous-Time Dynamical SystemsAuthorship / preprint / 2020PaperRobust Regions of Attraction Generation for State-Constrained Perturbed Discrete-Time Polynomial SystemsAuthorship / preprint / 2020PaperOver- and Under-Approximating Reachable Sets for Perturbed Delay Differential EquationsAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)