Target counting with Presburger constraints and its application in sensor networks. (2019)
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