Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Robust Exploration in Directed Controller Synthesis via Reinforcement Learning with Soft Mixture-of-Experts
Toshihide Ubukata, Zhiyao Wang, Enhong Mu +2
On-the-fly Directed Controller Synthesis (OTF-DCS) mitigates state-space explosion by incrementally exploring the system and relies critically on an exploration policy to guide sea…
cs.AI2025
Graph Contextual Reinforcement Learning for Efficient Directed Controller Synthesis
Toshihide Ubukata, Enhong Mu, Takuto Yamauchi +3
Controller synthesis is a formal method approach for automatically generating Labeled Transition System (LTS) controllers that satisfy specified properties. The efficiency of the s…
cs.AI2025
Knowledge Graph-enhanced Large Language Model for Incremental Game PlayTesting
Enhong Mu, Jinyu Cai, Yijun Lu +3
The rapid iteration and frequent updates of modern video games pose significant challenges to the efficiency and specificity of testing. Although automated playtesting methods base…