A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
2018
Frontiers in Robotics and AI
Preserved Fulltext
Other Versions
In fact, reducing the gap between typical features of an MRS and the linguistic primitives used to model them would simplify both the specification of these systems and their verification. ...
Incorrect operation of a multi-robot system (MRS) may not only lead to unsatisfactory results, but it can also cause economic losses and jeopardize safety. ...
Thanks to cutoff techniques, verification of a property against a limited number of concrete systems can be sufficient to prove that all concrete systems derived from the same set of roles do satisfy the ...
doi:10.3389/frobt.2018.00094
pmid:33500973
pmcid:PMC7806004
fatcat:kvjlryeaxfb5phqpnukv7wpt5m
Practical verification of multi-agent systems against Slk specifications
2018
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We introduce Strategy Logic with Knowledge, a novel formalism to reason about knowledge and strategic ability in memoryless multi-agent systems with incomplete information. ...
We propose a labelling algorithm for solving the verification problem that we show is amenable to symbolic implementation. ...
Furthermore, since Slk subsumes Atlk*, MCMAS Slk is also the first tool enabling the verification of multi-agent systems against specifications given in Atlk*. Related Work. ...
doi:10.1016/j.ic.2017.09.011
fatcat:hkmlwul5hjaf5inl6rqx6ayrwu
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review
2022
ACM Transactions on Software Engineering and Methodology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
We perform a systematic literature review on testing, validation, and verification of robotic and autonomous systems (RAS). ...
First, we made use of a set of 26 seed papers (selected by domain experts) and the SERP-TEST taxonomy to design our search query and (domain-specific) taxonomy. ...
Hugo Araujo and Mohammad Reza Mousavi have been partially supported by the UKRI Trustworthy Autonomous Systems Node in Veriiability, Grant Award Reference EP/V026801/2. ...
doi:10.1145/3542945
fatcat:b6hshtzmrfep3ba7t6brl6kfbu
Verification of neural systems
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
All procedures are implemented in a novel toolkit called VENMAS (Verification of Neural Multi-Agent Systems). ...
Little work addresses the verification of closed-loop systems controlled by agents synthesised from data and implemented via neural networks. ...
Lastly we contribute a novel toolkit, Venmas (VErification of Neural Multi-Agent Systems) developed specifically for this task implementing all verification procedures. ...
doi:10.25560/92157
fatcat:ldym3baifndbphvzg4rqoiqzfu