Designing a Cognitive Agent Connector for Complex Environments: A Case Study with StarCraft

Koeman, Vincent J.; Griffioen, Harm; Plenge, Danny C.; Hindriks, Koen V.

doi:10.1007/978-3-030-25693-7_16

Cited by 5 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For autonomous systems linked to simulated worlds, the landscape is more fragmented but examples include an autonomous agent linked to the flight simulator FLIGHTLAB, 33 and a connector to link multi-agent systems to the video game StarCraft. 34 Using connectors or middleware can make programming the system easier, but it is another component of the system that could cause (or contribute to) failures.…”

Section: Autonomous Systemsmentioning

confidence: 99%

Using formal methods for autonomous systems: Five recipes for formal verification

Luckcuck

2021

Proceedings of the Institution of Mechanical Engineers, Part O:

View full text Add to dashboard Cite

Formal Methods are mathematically-based techniques for software design and engineering, which enable the unambiguous description of and reasoning about a system’s behaviour. Autonomous systems use software to make decisions without human control, are often embedded in a robotic system, are often safety-critical, and are increasingly being introduced into everyday settings. Autonomous systems need robust development and verification methods, but formal methods practitioners are often asked: Why use Formal Methods for Autonomous Systems? To answer this question, this position paper describes five recipes for formally verifying aspects of an autonomous system, collected from the literature. The recipes are examples of how Formal Methods can be an effective tool for the development and verification of autonomous systems. During design, they enable unambiguous description of requirements; in development, formal specifications can be verified against requirements; software components may be synthesised from verified specifications; and behaviour can be monitored at runtime and compared to its original specification. Modern Formal Methods often include highly automated tool support, which enables exhaustive checking of a system’s state space. This paper argues that Formal Methods are a powerful tool for the repertoire of development techniques for safe autonomous systems, alongside other robust software engineering techniques.

show abstract

Section: Autonomous Systemsmentioning

confidence: 99%

Using formal methods for autonomous systems: Five recipes for formal verification

Luckcuck

2021

Proceedings of the Institution of Mechanical Engineers, Part O:

View full text Add to dashboard Cite

show abstract

“…Koeman et al [13] consider the ways of using the communications between robotic systems for solving the object assignment task. A complex of robotic tools in which there is a collaboration between agents is realized.…”

Section: Analysis Of Well-known Work With the Assignment Taskmentioning

confidence: 99%

“…erange characteristic of hitting the sword and the speed of the mobile objects are considered, as shown in Figure 11. e results of the solution in the third experiment are shown in Figures 12,13,and 14. e final decision on the appointment is summarized in Table 4.…”

Section: Experiments #mentioning

confidence: 99%

Methods Research and Software Development for Parameters Formalization of the Assignment Task Applicable to the Target Distribution

Beloglazov

Finaev

Soloviev

et al. 2020

Journal of Robotics

View full text Add to dashboard Cite

The paper discusses the solution of the assignment task between two groups of mobile (MR) objects. The assignment task is to determine the purpose of MR to each other when playing football. This article analyzes well-known works devoted to the tasks of assignments, and the relevance of research in this area is noted. The task of target distribution is successfully solved with a small degree of uncertainty. The urgency of further research to solve the problem of target distribution in conditions of uncertainty is substantiated. The model of target assignment is considered. The basis of the model is a bipartite graph. The vertices of a bipartite graph are defined by the properties of MR. One group of MR is assigned red color and the other one group is blue. The properties of the mobile objects are formally determined by the membership grades given by the experts. Identification of a bipartite graph is a solution to the assignment problem. When the problem of target distribution on a bipartite graph is solved, the criterion of the maximum degree of bipartite is applied. Formulas are given to determine the degree of bipartite, taking into account the number of vertices in the graph and the weight of each edge in two fractions of the graph. The study of the target distribution model was carried out by the simulation method. A program is developed to solve the problem of assignments. Properties and degrees of belonging of properties of red and blue MR are set for carrying out researches. The program allows you to produce research and under equality of red and blue MR, and under their inequality. The analysis of modeling results is carried out.

show abstract