Abstract
Finite-State Automata (FSA) are foundations for modelling, synthesis, verification, and implementation of controllers for manufacturing systems. However, FSA are limited to represent emerging features in manufacturing, such as the ability to recognise and switch contexts. One option is to enrich FSA with parameters that carry details about the manufacturing, which may favour design and control. A parameter can be embedded either on transitions or states of an FSA, and each approach defines its own modelling framework, so that their comparison and integration are not straightforward, and they may lead to different control solutions, modelled, processed and implemented distinctly. In this paper, we show how to combine advantages from parameters in manufacturing the modelling and control. We initially present a background that allows to understand each parameterisation strategy. Then, we introduce a conversion method that translates a design-friendly model into a synthesis-efficient structure. Finally, we use the converted models is synthesis, highlighting their advantages. Examples are used throughout the paper to illustrate and compare our results and tooling support is also provided.

Abstract
We consider global models of communicating agents specified as transition systems labelled by interactions in which multiple senders and receivers can participate. A realisation of such a model is a set of local transition systems—one per agent—which are executed concurrently using synchronous communication. Our core challenge is how to check whether a global model is realisable and, if it is, how to synthesise a realisation. We identify and compare two variants to realise global interaction models, both relying on bisimulation equivalence. Then we investigate, for both variants, realisability conditions to be checked on global models. We propose a synthesis method for the construction of realisations by grouping locally indistinguishable states. The paper is accompanied by a tool that implements realisability checks and synthesises realisations. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Abstract
Regardless of the goal of a game, it should be a pleasant and fun experience for its players. For some games to be enjoyable, the level of difficulty must be carefully calibrated, otherwise, players will feel bored or frustrated. Multiplayer scenarios in particular, where one player's satisfaction might not translate to the enjoyment of other players and poses extra challenges in balancing the difficulty. The performance of one player is relative to the opponent, versus single-player scenarios where we can fully control the environment. We propose an AI automation framework for difficulty balancing in two-player games, where balancing is seen as a Reinforcement Learning task. A Game Master (GM) agent learns how to use handicap game mechanics, signaled by a reward function that evaluates a weighted combination of aesthetic criteria that encourages dramatization and allows a player in the lead to go back and a player in the rear to catch up, creating the desired rubber banding effect that balances out skill gaps. The quality of the games with the trained GM embedded is examined by measuring the same aesthetic criteria on the resulting games, and by analyzing the resulting changes in the game.

Abstract
Leadership styles and human capital are important drivers of innovation processes. The way the leader interacts with the organization members can pre-empt or leverage innovation processes as leaders influence, empower and motivate other individuals in the achievement of their goals. Human capital is an important driver of innovation and competitiveness, as it will shape the uniqueness of the company as well as the process to obtain skills, capabilities, knowledge and expertise. As such, the main objectives of the paper are to analyze the impact of leadership styles on the innovation process and also to address the moderation effect of the human capital on the previous relation. Four leadership styles-autocratic, transactional, democratic, and transformational-were considered to measure their impacts on the innovation process, considering the alternative types of innovations. The 2018 Community Innovation Survey (CIS) database was used, encompassing Portuguese data, covering the 2016-2018 period, with a sample of 13702 firms. In regard to the empirical part, first, an exploratory analysis was run to better understand the connection between the leadership styles and the innovative strategies followed by an econometric estimation encompassing 28 logit models to disentangle the specific impacts of each leader on each innovation type. Evidence proves that autocratic and transactional leadership styles have a negative impact on innovation and transformational and democratic leadership impact innovation positively. Furthermore, human capital was found to moderate the relationship between leadership styles and the innovation process; i.e., under the same leadership style, the presence of additional skills leverages innovative propensity. The paper brings relevant insights for both managers and policymakers, highlighting that innovation will be accelerated if firms implement more participatory (democratic and transformational) leadership styles and also if they invest in competences to promote knowledge internalization and share. All in all, participatory leadership combined with the internal skills is proved to be an efficient combination for innovation to take place; as such, policy instruments must promote the coexistence of these two factors.

Abstract
The rise of social media has brought a great transformation to the way news are discovered and shared. Unlike traditional news sources, social media allows anyone to cover a story. Therefore, sometimes an event is already discussed by people before a journalist turns it into a news article. Twitter is a particularly appealing social network for discussing events, since its posts are very compact and, therefore, contain colloquial language and abbreviations. However, its large volume of tweets also makes it impossible for a user to keep up with an event. In this work, we present TweetStream2Story, a web app for extracting narratives from tweets posted in real time, about a topic of choice. This framework can be used to provide new information to journalists or be of interest to any user who wishes to stay up-to-date on a certain topic or ongoing event. As a contribution to the research community, we provide a live version of the demo, as well as its source code.

Abstract
The increasing use of microservices architectures has been accompanied by the profusion of tools for their design and operation. One relevant tool is API Gateways, which work as a proxy for microservices, hiding their internal APIs, providing load balancing, and multiple encoding support. Particularly in cloud environments, where the inherent flexibility allows on-demand resource deployment, API Gateways play a key role in seeking quality of service. Although multiple solutions are currently available, a comparative performance assessment under real workloads to support selecting the more suitable one for a specific service is time-consuming. In this way, the present work introduces AGE, a service capable of automatically deploying multiple API Gateways scenarios and providing a simple comparative performance indicator for a defined workload and infrastructure. The designed proof of concept shows that AGE can speed up API Gateway deployment and testing in multiple environments. © 2023 IEEE.