Contract automata facilitate the specification, composition, and synthesis of behavioural
contracts, comprehending modalities and configurations. Contract automata are supported …

Abstract Large Language Models (LLMs) have gained significant attention for using natural
language to generate program code without direct programming efforts, eg, by using …

Manufacturing is transitioning from a mass production model to a service model in which
facilities 'bid'to produce products. To decide whether to bid for a complex, previously unseen …

Research in automated planning provides novel insights into service composition and
contributes towards the provision of automatic compositions which adapt to changing user …

In the paper the problem of high computational complexity of synthesis is discussed. Existing
models and methods of synthesis don't allow build models of biological objects and systems …

We consider an agent that operates with two models of the environment: one that captures
expected behaviors and one that captures additional exceptional behaviors. We study the …

There is a rising demand for customised products with a high degree of complexity. To meet
these demands, manufacturing lines are increasingly becoming autonomous, networked …

This work proposes a novel high-level paradigm, agent planning programs, for modeling
agents behavior, which suitably mixes automated planning with agent-oriented …

In this paper, we study synthesis of maximally permissive strategies for Linear Temporal
Logic on finite traces (LTLf) specifications. That is, instead of computing a single strategy …

The problem of automatic synthesis of behavioral programs for smart devices is discussed.
For solving this problem mathematical model of reconfigurable program in a form of relative …