Synthesis is the automated construction of a system from its specification. The basic idea is simple and appealing: instead of developing a system and verifying that it is correct w.r.t. its specification, we use instead an automated procedure that, given a specification, constructs a system that is correct by construction. The first formulation of synthesis goes back to Church [5]; the modern ...

We present an algorithm for synthesizing strategies for multiagent systems composed of homogeneous agents possessing incomplete information about the system as a whole. The algorithm finds all maximal strategies for such agents that enforce a certain property of the system. In contrast to other algorithms known from the literature, our algorithm can be used for automated program synthesis for s...

This paper discusses aBlox a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system specification: (1) description of functionality and performance issues and (2) expression of analog-digital interactions. The semantics of aBlox embeds concepts and rules of a computational model that we developed for m...

Research into the development of software tools that support formal methods is aimed at simplifying and providing assistance during the development of correct software. We have developed the Seed system that uses techniques amenable to automation in order to assist a user in the correct development of the building blocks of a large software system from user-supplied formal speciications. Seed a...

The article examines the synthesis of algorithms for estimation random parameters ship movement models, based on measured information in field tests. In addition, accuracy analysis synthesized is provided. derived are relatively simple and allow highly precise unknown motion models at non-real-time scale to be obtained using measurements recorded results can used construction automated control ...

By coordinating efforts from humans and machines, human computation systems can solve problems that machines cannot tackle alone. A general challenge is to design efficient human computation algorithms or workflows with which to coordinate the work of the crowd. We introduce a method for automated workflow synthesis aimed at ideally harnessing human efforts by learning about the crowd’s perform...

Electrification, automation of vehicle control, digitalization and new mobility are the mega trends in automotive engineering they strongly connected to each other [...]