Biblio
Filters: First Letter Of Last Name is V [Clear All Filters]
MODE-TARGET GAMES: REACTIVE SYNTHESIS FOR CONTROL APPLICATIONS. arXiv preprint arXiv:1504.07702.
.
2015.
Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination. Control and Automation (MED), 2016 24th Mediterranean Conference on. :1008–1013.
.
2016.
Bandwidth Prediction on a WiMAX Network. 2014 IEEE 11th International Conference on Mobile Ad Hoc and Sensor Systems. :708-713.
.
2014.
Towards Injectable Biophotonic Sensors for Physiological Monitoring of Animals. IEEE Sensors Conference Valencia, Spain. 2014:503-506.
.
2014.
Auto-Adjusting Mandibular Repositioning Device for In-Home Use. 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Orlando, FL
.
2016.
Sharing Electricity Storage. IEEE Conference on Decision and Control (CDC). :813–820.
.
2016.
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. 34th International Conference on Computer Safety, Reliability, and Security, {SAFECOMP} 2015. :252–266.
.
2015.
Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers. Third Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'13).
.
2013.
Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences and Classifications.. IEEE Security and Privacy. 10:70–73.
.
2012.
Security and Interoperable-Medical-Device Systems, Part 1. IEEE Security and Privacy. 10:61–63.
.
2012.
.
2012.
Biomedical devices and systems security. 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). :2376–2379.
.
2011.
GSA: A framework for rapid prototyping of smart alarm systems. Proceedings of the 1st ACM International Health Informatics Symposium (IHI '10). :487–491.
.
2010.
Learning to jump in granular media: Unifying optimal control synthesis with Gaussian process-based regression. Robotics and Automation (ICRA), 2017 IEEE International Conference on. :2154–2160.
.
2017.
An aerial phytobiopsy system: Design, evaluation, and lessons learned. 2017 International Conference on Unmanned Aircraft Systems (ICUAS). :188-195.
.
2017.
An LP for Sequential Learning Under Budgets. {AISTATS}. 33:987–995.
.
Submitted.
Cheap Bandits. Proceedings of the 32nd International Conference on Machine Learning. 37:2133–2142.
.
2015.
Feature-Budgeted Random Forest. Proceedings of the 32nd International Conference on Machine Learning. 37:1983–1991.
.
2015.
Pruning Random Forests for Prediction on a Budget. {NIPS}. :2334–2342.
.
2016.
A multi-resolution approach for discovery and 3-D modeling of archaeological sites using satellite imagery and a UAV-borne camera. 2016 American Control Conference (ACC). :1359-1365.
.
2016.
Adaptive Neural Networks for Efficient Inference. {ICML}. 70:527–536.
.
2017.
Connected Subgraph Detection with Mirror Descent on SDPs. {ICML}. 70:51–59.
.
2017.
Unsupervised Sequential Sensor Acquisition. {AISTATS}. 54:803–811.
.
2017.
Resource Constrained Structured Prediction. {AAAI}. :1756–1762.
.
2017.