Výsledky vyhledávání - "Computing methodologies Artificial intelligence Planning and scheduling Multi-agent planning"
-
1
Mandala: an agent-based platform to support interoperability in systems-of-systems
ISBN: 1450357474, 9781450357470Vydáno: New York, NY, USA ACM 29.05.2018Vydáno v 2018 IEEE ACM 6th International Workshop on Software Engineering for Systems of Systems (SESoS) (29.05.2018)“…A particular challenge to the construction of systems-of-systems (SoS) is the high heterogeneity of their constituent systems, thereby making interoperability…”
Získat plný text
Konferenční příspěvek -
2
Social Momentum: A Framework for Legible Navigation in Dynamic Multi-Agent Environments
ISBN: 9781450349536, 1450349536ISSN: 2167-2148Vydáno: New York, NY, USA ACM 26.02.2018Vydáno v 2018 13th ACM/IEEE International Conference on Human-Robot Interaction (HRI) (26.02.2018)“…Intent-expressive robot motion has been shown to result in increased efficiency and reduced planning efforts for copresent humans. Existing frameworks for…”
Získat plný text
Konferenční příspěvek -
3
Planning with Partner Uncertainty Modeling for Efficient Information Revealing in Teamwork
ISBN: 1450367461, 9781450367462ISSN: 2167-2148Vydáno: New York, NY, USA ACM 09.03.2020Vydáno v 2020 15th ACM/IEEE International Conference on Human-Robot Interaction (HRI) (09.03.2020)“…Communication among team members is important for efficient teamwork, to coordinate behavior and ensure that all team members have the information they need to…”
Získat plný text
Konferenční příspěvek -
4
Provably-correct coordination of large collections of agents with counting temporal logic constraints
ISBN: 9781450349659, 145034965XVydáno: New York, NY, USA ACM 18.04.2017Vydáno v 2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) (18.04.2017)“…In this paper, we consider the problem of coordinating a large collection of homogeneous agents subject to a novel class of constraints: counting temporal…”
Získat plný text
Konferenční příspěvek -
5
Sampling-based control synthesis for multi-robot systems under global temporal specifications
ISBN: 9781450349659, 145034965XVydáno: New York, NY, USA ACM 18.04.2017Vydáno v 2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) (18.04.2017)“…This paper proposes a sampling-based algorithm for multi-robot control synthesis under global Linear Temporal Logic (LTL) formulas. Robot mobility is captured…”
Získat plný text
Konferenční příspěvek

