Most normative systems make use of explicit representations of norms (namely, obligations, prohibitions, and permissions) and associated mechanisms to support the self-regulation of open societies of selfinterested and autonomous agents. A key problem in research on normative systems is that of how to synthesise effective and efficient norms. Manually designing norms is time-consuming and error...

Most normative systems make use of explicit representations of norms (namely, obligations, prohibitions, and permissions) and associated mechanisms to support the self-regulation of open societies of selfinterested and autonomous agents. A key problem in research on normative systems is that of how to synthesise effective and efficient norms. Manually designing norms is time-consuming and error...

Stochastic hybrid systems have received significant attentions as a relevant modeling framework describing many systems, from engineering to the life sciences: they enable study of numerous applications, including transportation networks, biological and chemical reaction smart energy power grids, beyond. Automated verification policy synthesis for stochastic can be inherently challenging: this ...

Introduction: [18F]-6-thia-14-fluoro-heptadecanoic acid 3b, a free fatty acid, has been used in myocardial PET imaging. In order to establish an automated synthesis module for routine production in the country, a study performed for optimization of the production conditions as well as making modifications. Methods: [18F] Benzyl-14-Fluoro-6-thia-heptadecanoate 2b was prepared in no-carrier...

This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedure into a general-purpose refutation-based theorem prover. We suggest that this is a large and interesting class of procedures and show how to integrate these procedures to accelerate a general-purpose theorem prover d...

Through the automation of road vehicles, several smart actuators have been developed, with which various automated and autonomous functionalities can be performed [...]

Automated synthesis of reactive systems from specifications has been a topic of research for decades. Recently, a variety of approaches have been proposed to extend synthesis of reactive systems from propositional specifications towards specifications over rich theories. We propose a novel, completely automated approach to program synthesis which reduces the problem to deciding the validity of ...

Although construction has been known as a highly complex application field for autonomous robotic systems, recent advances in this field offer great hope for using robotic capabilities to develop automated construction. Today, space research agencies seek to build infrastructures without human intervention, and construction companies look to robots with the potential to improve construction qua...