Target counting with Presburger constraints and its application in sensor networks. (2019)

First Author: Linker S
Attributed to:  Verifiable Autonomy funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1098/rspa.2019.0278

PubMed Identifier: 31824213

Publication URI: http://europepmc.org/abstract/MED/31824213

Type: Journal Article/Review

Volume: 475

Parent Publication: Proceedings. Mathematical, physical, and engineering sciences

Issue: 2231

ISSN: 1364-5021