Explaining the Behaviour of Game Agents Using Differential Comparison

Castellano, Ezequiel; Zhang, Xiaoyi; Arcaini, Paolo; Takisaka, Toru; Ishikawa, Fuyuki; Ikehata, Nozomu; Iwakura, Kosuke

doi:10.1145/3551349.3560503

Cited by 3 publications

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The experiences with these two different directions have established the solid research foundation for the author, that is, investigation of application-level dependability goals with different types of automated techniques. The insights obtained in the experiences have helped the author tackle challenges in different domains such as automated driving systems [22][23][24][25], automated delivery robots [26][27][28], and gamesas-a-service [ 29]. We have been making use of optimization techniques as well as formal verification techniques to deal with various quality aspects though the systems are monolithic, and we focus more on the software engineering aspects such as optimization-based test generation.…”

Section: Impact On the Authormentioning

confidence: 99%

Consistent and Quality-Aware Service Composition in Smart Cities

Ishikawa

2024

Human-Centered Services Computing for Smart Cities

Self Cite

View full text Add to dashboard Cite

In this chapter, we review our research for dependable service composition for smart cities in both cyber and physical spaces. For the cyber space, given the active investigation on web services or web APIs, we intensively worked on the problem of service composition that explores the "best" combination of available services from different providers. The key point was efficient exploration of enormous combinations both in terms of functional consistency and QoS. For the physical space, we worked on compositions of physical services given the trend of Internetof-Things (IoT). This direction focuses on consistency of composition as different services make physical effects on multiple users and shared spaces. At the end of this chapter, we discuss the prospect after these past research studies.

show abstract