We address the problem of automatically synthesizing digital designs from linear-time
specifications. We consider various classes of specifications that can be synthesized with …

Graph-based games are an important tool in computer science. They have applications in
synthesis, verification, refinement, and far beyond. We review graph-based games with …

This paper introduces a motion-planning framework for a hybrid system with general
continuous dynamics to satisfy a temporal logic specification consisting of cosafety and …

This paper considers the problem of motion planning for a hybrid robotic system with
complex and nonlinear dynamics in a partially unknown environment given a temporal logic …

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 develo** …

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 …

Robustness as a system property describes the degree to which a system is able to function
correctly in the presence of disturbances, ie, unforeseen or erroneous inputs. In this paper …

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 …

Multi-dimensional mean-payoff and energy games provide the mathematical foundation for
the quantitative study of reactive systems, and play a central role in the emerging …

Program synthesis is a process of producing an executable program from a specification.
Algorithmic synthesis produces the program automatically, without an intervention from an …