Search Results - "Theory of computation Logic Modal and temporal logics" :: 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

Loading…

On the analysis of queries with counting constraints

Published in Proceedings of the 9th ACM symposium on Document engineering

Get full text

Conference Proceeding

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

On the analysis of queries with counting constraints

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database