Abstract Digital Twins (DTs) are considered key components in smart manufacturing. They
bridge the virtual and real world with the goal to model, understand, predict, and optimize …

The continuous evolution of digital technologies applied to the more traditional world of
industrial automation led to Industry 4.0, which envisions production processes subject to …

We present a general framework for abstracting agent behavior in multi-agent synchronous
games in the situation calculus, which provides a first-order representation of the state and …

We formally introduce and solve the synthesis problem for LTL goals in the case of multiple,
even contradicting, assumptions about the environment. Our solution concept is based …

In recent years, there has been an increase interest in using intelligent methods to control
manufacturing processes. Tens of resources to be modeled and offered as services through …

This paper establishes a framework based on logic and automata theory in which to model
and automatically verify systems of multiple mobile agents moving in environments with …

We study best-effort strategies (aka plans) in fully observable nondeterministic domains
(FOND) for goals expressed in Linear Temporal Logic on Finite Traces (LTLf). The notion of …

In recent decades, manufacturing practices have undergone a significant transformation,
with the integration of computers and automation playing a central role. Concurrently, there …

We consider the problem of reaching a propositional goal condition in fully-observable
nondeterministic (FOND) planning under a general class of fairness assumptions that are …

Consider an agent acting to achieve its temporal goal, but with a" trembling hand". In this
case, the agent may mistakenly instruct, with a certain (typically small) probability, actions …