In this paper, we focus on formal synthesis of control policies for finite Markov decision
processes with non-negative real-valued costs. We develop an algorithm to automatically …

We consider the problem of computing the set of initial states of a dynamical system such
that there exists a control strategy to ensure that the trajectories satisfy a temporal logic …

We consider the problem of generating control policies for a team of robots moving in a
stochastic environment. The team is required to achieve an optimal surveillance mission, in …

Given a Markov decision process (MDP) and a linear-time ($\omega $-regular or LTL)
specification, the controller synthesis problem aims to compute the optimal policy that …

We consider an optimal control problem for a weighted deterministic transition system
required to satisfy a constraint expressed as a linear temporal logic (LTL) formula over its …

New requirements of autonomous mobile vehicles necessitate hierarchical motion-planning
techniques that not only find a plan to satisfy high-level specifications, but also guarantee …

In our everyday life, we work with or we come into contact with many computer systems. We
rely on them and we trust them to work as expected. Failures of such systems may cause a …

Modern engineering systems such as autonomous ground and aerial vehicles, embedded
medical devices and human-robot collaborative teams evolve quickly due to industrial …

Autonomous mobile robots are machines capable of performing tasks, operating without
human intervention. Their presence has increased in applications such as personal …

Řízení robotických systémů v časově proměnném prostředí za účelem plnění dané mise
vyžaduje několik fází vývoje. Jedním z prvků je návrh strategie řízení, který se skládá ze …