While the importance of robustness in engineering design is well accepted, it is less clear
how to design cyber-physical systems (CPS) for robustness. With the objective of developing …

Abstract Systems should not only be correct but also robust in the sense that they behave
reasonably in unexpected situations. This article addresses synthesis of robust reactive …

Although it is widely accepted that every system should be robust, in the sense that" small"
violations of environment assumptions should lead to" small" violations of system …

The increased interest in reactive synthesis over the last decade has led to many improved
solutions but also to many new questions. In this paper, we discuss the question of how to …

Many specifications include assumptions on the environment. If the environment satisfies the
assumptions then a correct system reacts as intended. However, when the environment …

Automatic synthesis from linear temporal logic (LTL) specifications is widely used in robotic
motion planning and control of autonomous systems. A common specification pattern in …

Multiplayer games with selfish agents naturally occur in the design of distributed and
embedded systems. As the goals of selfish agents are usually neither equivalent nor …

We present a framework based on Markov decision process to optimize software on mobile
phones. Unlike previous approaches in literature that focus on energy optimization while …

Traditional computer science is Boolean: a Turing machine accepts or rejects its input, and
logic assertions are true or false. A primary use of logic in computer science has been the …

Robustness is the property that a system only exhibits small deviations from the nominal
behavior upon the occurrence of small disturbances. While the importance of robustness in …