Security-preserving multi-agent coordination for complex temporal logic tasks
Xinyi Yu, Xiang Yin, Shaoyuan Li, Zhaojian Li
Topics & Concepts
CorrectnessComputer scienceLinear temporal logicTask (project management)Distributed computingObserver (physics)Multi-agent systemInformation flowConstraint (computer-aided design)Process (computing)Artificial intelligenceTheoretical computer scienceEngineeringAlgorithmSystems engineeringPhysicsOperating systemPhilosophyMechanical engineeringLinguisticsQuantum mechanicsFormal Methods in VerificationLogic, Reasoning, and KnowledgeRobotic Path Planning Algorithms