Graph explorer

Research map

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

Min Wen
Map detail
Min Wen3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipMin WenAMin WenResearcherCorrect-by-synthesis reinforcement learning with temporal logic constraintsWCorrect-by-synthesis re...preprint / 2015Strategy Synthesis for Stochastic Rabin Games with Discounted RewardWStrategy Synthesis for ...preprint / 2015
Person2 links

Min Wen

Researcher