Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System
Developing multiagent systems: The Gaia methodology
Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction
Lenient learners in cooperative multiagent systems
A Framework and Architecture for Multi-Robot Coordination
Multi-Agent Programming: Languages, Platforms and Applications
Multi-Agent Systems and Applications II
Formal Verification of Autonomous Vehicle Platooning
Creating Trustworthy Robots: Lessons and Inspirations from Automated Systems
The challenge of real-time multi-agent systems for enabling IoT and CPS
Consensus for multi-agent systems with inherent nonlinear dynamics under directed topologies
Formal verification of ethical choices in autonomous systems
The Emergence of Grammar in Communicating Autonomous Robotic Agents
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system
Communication in multi-agent Markov decision processes
Deliberation for autonomous robots: A survey
The Formal Specification Language mCRL2
A semidefinite programming framework for controlling multi-robot systems in dynamic environments
Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems
Design and evaluation of an ambient assisted living system based on an argumentative multi-agent system
Human–Agent Teaming for Multirobot Control: A Review of Human Factors Issues
Agent-based software engineering
Editable Generative Adversarial Networks: Generating and Editing Faces Simultaneously
Learning a non-linear knowledge transfer model for cross-view action recognition
Suppression of magnetic noise in the fundamental-mode orthogonal fluxgate
information security for electric power utilities ( epus ) — cigre developments on frameworks , risk assessment , and technology .