Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks
Zesen Liu, Meng Guo, Zhongkui Li
Topics & Concepts
Computer scienceCorrectnessSoundnessLinear temporal logicTask (project management)Distributed computingSynchronization (alternating current)MinificationTemporal logicAutomatonExecution timeCompleteness (order theory)Theoretical computer scienceAlgorithmProgramming languageMathematicsManagementChannel (broadcasting)EconomicsComputer networkMathematical analysisFormal Methods in VerificationMulti-Agent Systems and NegotiationLogic, Reasoning, and Knowledge