most citedExploring the Improvement of Evolutionary Computation via Large Language Models

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

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…