Provably-correct coordination of large collections of agents with counting temporal logic constraints

In this paper, we consider the problem of coordinating a large collection of homogeneous agents subject to a novel class of constraints: counting temporal logic constraints. Counting constraints arise naturally in many multi-agent planning problems where the identity of the agents is not important f...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) s. 249 - 258
Hlavní autori:	Sahin, Yunus Emre, Nilsson, Petter, Ozay, Necmiye
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 18.04.2017
Edícia:	ACM Other Conferences
Predmet:	Computer science Computer systems organization > Embedded and cyber-physical systems > Robotics > Robotic autonomy Computing methodologies > Artificial intelligence > Control methods > Motion path planning Computing methodologies > Artificial intelligence > Planning and scheduling > Multi-agent planning Computing methodologies > Artificial intelligence > Planning and scheduling > Planning for deterministic actions Correct-by-construction synthesis Cyber-physical systems Electrical engineering Planning Robot kinematics Theory of computation > Logic > Abstraction Theory of computation > Logic > Modal and temporal logics Vehicle dynamics correct-by-construction synthesis
ISBN:	9781450349659, 145034965X
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!