75 citations · 80 across the 14 of their papers we have counts for
6 papers · 1 filter
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…
Automatic Syntax Error Repair for Discrete Controller Synthesis using Large Language Model
Yusei Ishimizu, Takuto Yamauchi, Sinan Chen +3
Discrete Controller Synthesis (DCS) is a powerful formal method for automatically generating specifications of discrete event systems. However, its practical adoption is often hind…
Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap
Jialong Li, Mingyue Zhang, Nianyu Li +3
Self-adaptive systems (SASs) are designed to handle changes and uncertainties through a feedback loop with four core functionalities: monitoring, analyzing, planning, and execution…
SAGE: Semantic-Aware Gray-Box Game Regression Testing with Large Language Models
Jinyu Cai, Jialong Li, Nianyu Li +3
The rapid iteration cycles of modern live-service games make regression testing indispensable for maintaining quality and stability. However, existing regression testing approaches…
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…
Simulation of Language Evolution under Regulated Social Media Platforms: A Synergistic Approach of Large Language Models and Genetic Algorithms
Jinyu Cai, Yusei Ishimizu, Mingyue Zhang +3
Social media platforms frequently impose restrictive policies to moderate user content, prompting the emergence of creative evasion language strategies. This paper presents a multi…