Concurrent multi‐agent systems with temporal logic objectives: game theoretic analysis and planning through negotiation-Reference-Cited by-同舟云学术

Concurrent multi‐agent systems with temporal logic objectives: game theoretic analysis and planning through negotiation

Published:2015-02 Issue:3 Volume:9 Page:465-474
ISSN:1751-8652
Container-title:IET Control Theory & Applications
language:en
Short-container-title:IET Control Theory & Applications

Author:

Fu Jie¹,Tanner Herbert G.²,Heinz Jeffrey³

Affiliation:

1. Department of Electrical and Systems EngineeringUniversity of PennsylvaniaPhiladelphiaPA19104USA

2. Department of Mechanical EngineeringUniversity of DelawareNewarkDE19716USA

3. Department of Linguistics and Cognitive ScienceUniversity of DelawareNewarkDE19716USA

Publisher

Institution of Engineering and Technology (IET)

Subject

Electrical and Electronic Engineering,Control and Optimization,Computer Science Applications,Human-Computer Interaction,Control and Systems Engineering

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1049/iet-cta.2014.0611

Reference22 articles.

1. Symbolic planning and control of robot motion [Grand Challenges of Robotics]

2. SebouiM.‐A.B.Hadj‐AlouaneN.B.DelavalG.RuttenE. andYeddesM.: ‘A decentralized supervisory control approach for distributed adaptive systems’.Proc. of the Fourth Int. Conf. on Verification and Evaluation of Computer and Communication Systems British Computer Society 2010 pp.13–23

3. Synthesis of distributed control and communication schemes from global LTL specifications

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Adaptive heterogeneous multi-robot collaboration from formal task specifications;Robotics and Autonomous Systems;2021-11

2. A systematic mapping study on agent mining;Journal of Experimental & Theoretical Artificial Intelligence;2021-01-11

3. Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis;IEEE Transactions on Automation Science and Engineering;2018-01

4. Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning;Distributed Autonomous Robotic Systems;2018

5. First steps toward formal controller synthesis for bipedal robots with experimental implementation;Nonlinear Analysis: Hybrid Systems;2017-08