19 citations · 22 across the 6 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic
Michal Töpfer, František Plášil, Tomáš Bureš +1
In CAS adaptation, a challenge is to define the dynamic architecture of the system and changes in its behavior. Implementation-wise, this is projected into an adaptation mechanism,…
cs.AI2021
Towards fuzzification of adaptation rules in self-adaptive architectures
Tomáš Bureš, Petr Hnětynka, Martin Kruliš +5
In this paper, we focus on exploiting neural networks for the analysis and planning stage in self-adaptive architectures. The studied motivating cases in the paper involve existing…