Search Results - "Computing methodologies Artificial intelligence Planning and scheduling Multi-agent planning" :: K.UTB vyhledávací portál

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

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

by Sahin, Yunus Emre, Nilsson, Petter, Ozay, Necmiye
Published in 2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) (18.04.2017)

Get full text

Conference Proceeding

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

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database