Graph explorer

Research map

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

Karen Leung
Map detail
Karen Leung11 visible / 11 total nodes / 26 links

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

Co-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipWorks onAuthorshipWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipKaren LeungAKaren LeungResearcherRuntime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal LogicWRuntime Monitoring of P...preprint / 2026Parv KapoorAParv KapoorResearcherAbigail HammerAAbigail HammerResearcherAshish KapoorAAshish KapoorResearcherEunsuk KangAEunsuk KangResearcherSemi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic SpecificationsWSemi-Supervised Traject...preprint / 2022Towards Data-Driven Synthesis of Autonomous Vehicle Safety ConceptsWTowards Data-Driven Syn...preprint / 2022Machine LearningTMachine Learning49008 worksInteraction-Dynamics-Aware Perception Zones for Obstacle Detection Safety EvaluationWInteraction-Dynamics-Aw...preprint / 2022Infusing Reachability-Based Safety into Planning and Control for Multi-agent InteractionsWInfusing Reachability-B...preprint / 2020
Person10 links

Karen Leung

Researcher