We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomplete information for enforcing a property expressible in the language of Alternating-time Temporal Logic ATL. The main application of the algorithm is automated program synthesis for systems that can be modeled as mul...

I work on research problems centered around the theme of using automated planning systems as mediators for human-machine teams. Automated planning – a sub-field of Artificial Intelligence that deals with reasoning and the synthesis of plans for autonomous, intelligent agents – has seen many speedup and scalability advances in the past decades. Beginning with Shakey the robot and the STRIPS plan...

Optimizing business processes is a necessary prerequisite to reduce transactional costs in and between enterprises. Therefore companies spend huge efforts for adapting predefined processes, modeling their value-added business processes and implementing them with IT systems. Several tools are available for modeling the processes and the generation of code, nevertheless changing a sub-process oft...

This paper presents a novel method for the automated type synthesis of planar mechanisms and multibody systems. The method explicitly includes topology as a design variable in an optimization framework based on a genetic algorithm (GA). Each binary string genome of the GA represents the concatenation of the upper-right triangular portion of the link adjacency matrix of a mechanism. Different to...

BACKGROUND The field of synthetic biology promises to revolutionize our ability to engineer biological systems, providing important benefits for a variety of applications. Recent advances in DNA synthesis and automated DNA assembly technologies suggest that it is now possible to construct synthetic systems of significant complexity. However, while a variety of novel genetic devices and small en...

Automated website synthesis is more straightforward than automated program synthesis in artificial intelligence research but can yield clear benefits for large groups of people. We briefly describe our current work and approach to building websites for academic research and aviation accident reporting. Automated website synthesis is applicable to many situations which require efficiency in crea...

This article deal with the parallel synthesis of a 96 product-sized library using a polymer-based copper catalyst that we developed which can be easily separated from the products by simple filtration. This gave us the opportunity to use this catalyst in an automated chemical synthesis station (Chemspeed ASW-2000). Studies and results about the preparation of the catalyst, its use in different ...

We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We show how to decompose this certification into two components, which can be respectively handled by the complementary verification techniques, theorem proving and model checking. The approach produces a certified refer...