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.

Sicun Gao
SearchCollections
Map detail
Sicun Gao13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSicun GaoASicun GaoResearcherDelta-Decidability over the RealsWDelta-Decidability over...preprint / 2012Delta-Complete Decision Procedures for Satisfiability over the RealsWDelta-Complete Decision...preprint / 2012Satisfiability Modulo ODEsWSatisfiability Modulo ODEspreprint / 2013Delta-Complete Analysis for Bounded Reachability of Hybrid SystemsWDelta-Complete Analysis...preprint / 2014Revisiting the Complexity of Stability of Continuous and Hybrid SystemsWRevisiting the Complexi...preprint / 2014Descriptive Control Theory: A ProposalWDescriptive Control The...preprint / 2014Proof Generation from Delta-DecisionsWProof Generation from D...preprint / 2014Accelerating Multi-Agent Planning Using Graph Transformers with Bounded SuboptimalityWAccelerating Multi-Agen...preprint / 2023Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier FunctionsWQuantifying Safety of L...preprint / 2022Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-DecisionsWParameter Synthesis for...preprint / 2014Towards Personalized Prostate Cancer Therapy Using Delta-Reachability AnalysisWTowards Personalized Pr...preprint / 2015Provably Efficient Model-based Policy AdaptationWProvably Efficient Mode...preprint / 2020
Person12 links

Sicun Gao

Researcher

PaperDelta-Decidability over the RealsAuthorship / preprint / 2012PaperDelta-Complete Decision Procedures for Satisfiability over the RealsAuthorship / preprint / 2012PaperSatisfiability Modulo ODEsAuthorship / preprint / 2013PaperDelta-Complete Analysis for Bounded Reachability of Hybrid SystemsAuthorship / preprint / 2014PaperRevisiting the Complexity of Stability of Continuous and Hybrid SystemsAuthorship / preprint / 2014PaperDescriptive Control Theory: A ProposalAuthorship / preprint / 2014PaperProof Generation from Delta-DecisionsAuthorship / preprint / 2014PaperAccelerating Multi-Agent Planning Using Graph Transformers with Bounded SuboptimalityAuthorship / preprint / 2023

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)