4 Hits in 2.3 sec

Toward Formal Models and Languages for Verifiable Multi-Robot Systems

Rocco De Nicola, Luca Di Stefano, Omar Inverso
2018 Frontiers in Robotics and AI  
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

Petr Čermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
2018 Information and Computation  
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

Hugo Araujo, Mohammad Reza Mousavi, Mahsa Varshosaz
2022 ACM Transactions on Software Engineering and Methodology  
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

Michael Akintunde, Alessio Lomuscio, The Engineering
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