Advances in the field of robotics in recent years have enabled the deployment of robots in a multitude of settings, and it is predicted that this will continue to increase, leading to a profound impact on society in the ...

Collective adaptive systems may be broadly defined as en sembles of autonomous agents, whose interaction may lead to the emer gence of global features and patterns. Formal verification may provide strong guarantees about ...

Digital transformation is viewed as instrumental in coping with organizational and societal challenges. In the public sector, these challenges include diverse issues, such as demographic changes, constrained financial ...

There is a wide range of modal logics whose semantics goes beyond relational structures, and instead involves, e.g., probabilities, multi-player games, weights, or neighbourhood structures. Coalgebraic logic serves as a ...

The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, ...

Digital innovation has become imperative for organizational survival and is increasingly contributing to the growth of national wealth. A central element of digital innovation, brought into light in this dissertation, is ...

Innovative decision support systems (DSSs) are revolutionizing key processes in organizations. These systems are used in managerial decision-making to solve increasingly complicated decision tasks, for example, using ...

After decades of digital developments, we are now entering a truly digital era. Digital information and communication technology has become a naturally embedded part of the designed environment we live in. Most parts of ...

This study aims to develop a theoretical and analytical approach for studying discretion, automated decision-making (ADM) and the consequential public values. This is achieved through our proposed approach, an overview ...