Graph explorer

Research map

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

Mingyu Park
Map detail
Mingyu Park3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipMingyu ParkAMingyu ParkResearcherProperty-based Code Slicing for Efficient Verification of OSEK/VDX Operating SystemsWProperty-based Code Sli...preprint / 2013Infusing model predictive control into meta-reinforcement learning for mobile robots in dynamic environmentsWInfusing model predicti...preprint / 2022
Person2 links

Mingyu Park

Researcher