Sequential Algorithms for Moving Anomaly Detection in Networks
Sequential Analysis, Vol. 39, No. 1, 2020, January 2021
Georgios Rovatsos, Shaofeng Zou, Venu Veeravalli
Tightening Mutual Information Based Bounds on Generalization Error.
IEEE Journal on Selected Areas in Information Theory, January 2021
Yuheng Bu, Shaofeng Zou
Quickest Change Detection under Transient Dynamics: Theory and Asymptotic Analysis.
IEEE Transactions on Information Theory, January 2021
Shaofeng Zou, Georgios Fellouris
Y. Bu, S. Zou and V.V. Veeravalli
IEEE Journal on Selected Areas in Information Theory, 1(1): 121-130, May 2020, January 2021
Yuheng Bu, Shaofeng Zou
Tightening Mutual Information Based Bounds on Generalization Error.
IEEE Journal on Selected Areas in Information Theory, 1(1): 121-130, May 2020, January 2021
Yuheng Bu, Shaofeng Zou
Tightening Mutual Information Based Bounds on Generalization Error.
IEEE Journal on Selected Areas in Information Theory, 1(1): 121-130, May 2020., January 2021
Venu Veeravalli, Shaofeng Zou, Yuheng Bu
Quickest Change Detection under Transient Dynamics: Theory and Asymptotic Analysis.
IEEE Transactions on Information Theory, 65(3): 1397-1412, March 2019, January 2021
Venu Veeravalli, Shaofeng Zou, Georgios Fellouris
Quickest Detection of a Dynamic Anomaly in a Heterogeneous Sensor Network
In Proc. Proc. IEEE ISIT, Los Angeles, CA, June 2020., January 2021
Venu Veeravalli, George Rovatsos, George Moustakides
On Uncertainty and Robustness in Large-Scale Intelligent Data Fusion Systems
In Proc. CogMI 2020, December 2020
Ben Marlin, Tarek Abdelzaher, Gabriela Ciocarlie, Adam Cobb, Mark Dennison, Brian Jalaian, Lance Kaplan, Tiffany Raber, Adrienne Raglin, Piyush Sharma, Mani Srivastava, Theron Trout, Meet Vadera, Maggie Wigness
On Removing Algorithmic Priority Inversion from Mission-critical Machine Inference Pipelines
In Proc. IEEE Real-time Systems Symposium, December 2020
Shengzhong Liu, Shuochao Yao, Xinzhe Fu, Rohan Tabish, Simon Yu, Ayoosh Bansal, Heechul Yun, Lui Sha, Tarek Abdelzaher
Real-time Spatio-Temporal Action Localization in 360 Videos
In Proc. IEEE International Symposium on Multimedia (ISM 2020), December 2020
Bo Chen, Ahmed Ali-Eldin, Klara Nahrstedt, Prashant Shenoy
Security Analysis of Safe and Seldonian Reinforcement Learning Algorithms
In Proc. Advances in Neural Information Processing Systems, November 2020 (Accepted)UWHear: through-wall extraction and separation of audio vibrations using wireless signals
In Proc. ACM SenSys, November 2020
Ziqi Wang, Zhe Chen, Akash Deep Singh, Luis Garcia, Jun Luo, Mani Srivastava
Sim2Real Transfer for Deep Reinforcement Learning with Stochastic State Transition Delays
In Proc. Conference on Robot Learning (CoRL), November 2020
Sandeep Singh Sandha, Luis Garcia, Bharathan Balaji, Fatima Anwar, Mani Srivastava
Deep Compressive Offloading: Speeding Up Neural Network Inference by Trading Edge Computation for Network Latency
In Proc. 18th ACM Conference on Embedded Networked Sensor Systems (SenSys), November 2020
Shuochao Yao, Jinyang Li, Dongxin Liu, Tianshi Wang, Shengzhong Liu, Huajie Shao, Tarek Abdelzaher
Persuasion-based robust sensor design against attackers with unknown control objectives
IEEE Transactions on Automatic Control, DOI: 10.1109/TAC.2020.3030861, November 2020 (Accepted)
Muhammed Sayin, Tamer Basar
Model-based multi-agent RL in zero-sum Markov games with near-optimal sample complexity.
In Proc. Proc. 34th Conference on Neural Information Processing Systems (NeurIPS 2020, Dec 6-12, 2020), November 2020 (Accepted)
Kaiqing Zhang, Sham Kakade, Tamer Basar, Lin Yang
Natural policy-gradient primal-dual method for constrained Markov decision processes
In Proc. Proc. 34th Conference on Neural Information Processing Systems (NeurIPS 2020, Dec 6-12, 2020), November 2020 (Accepted)
Dongsheng Ding, Kaiqing Zhang, Tamer Basar, Mihailo Jovanovic
Robust multi-agent reinforcement learning with model uncertainty
In Proc. Proc. 34th Conference on Neural Information Processing Systems (NeurIPS 2020, Dec 6-12, 2020), November 2020 (Accepted)
Kaiqing Zhang, Tao Sun, Yunzhe Tao, Sahika Genc, Sunil Mallya, Tamer Basar
POLY-HOOT: Monte-Carlo planning in continuous space MDPs with non-asymptotic analysis
In Proc. Proc. 34th Conference on Neural Information Processing Systems (NeurIPS 2020, Dec 6-12, 2020), November 2020 (Accepted)
Weichao Mao, Kaiqing Zhang, Qiaomin Xie, Tamer Basar
An Improved analysis of (variance-reduced) policy gradient and natural policy gradient methods
In Proc. Proc. 34th Conference on Neural Information Processing Systems (NeurIPS 2020, Dec 6-12, 2020;), November 2020 (Accepted)
Yanli Liu, Kaiqing Zhang, Tamer Basar, Wotao Yin
On the stability and convergence of robust adversarial reinforcement learning: a case study on linear quadratic systems
In Proc. Proc. 34th Conference on Neural Information Processing Systems (NeurIPS 2020, Dec 6-12, 2020), November 2020 (Accepted)
Kaiqing Zhang, Bin Hu, Tamer Basar
Securing state reconstruction under sensor and actuator attacks: Theory and design
Automatica, September 2020
Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas Diggavi, Paulo Tabuada
SLATE: A Secure Lightweight Entity Authentication Hardware Primitive
IEEE Transactions on Information Forensics and Security, September 2020
Wei-Che Wang, Yair Yona, Yizhang Wu, Suhas Diggavi, Puneet Gupta
Distortion based Light-weight Security for Cyber-Physical Systems
IEEE Transactions on Automatic Control, September 2020 (Accepted)
Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas Diggavi, Christina Fragouli, Paulo Tabuada
Qsparse-Local-SGD: Distributed SGD With Quantization, Sparsification, and Local Computations
IEEE Journal on Selected Areas in Information Theory (JSAIT), September 2020
Debraj Basu, Deepesh Data, Can Karakus, Suhas Diggavi
URSABench: Comprehensive Benchmarking of Approximate Bayesian Inference Methods for Deep Neural Networks.
In Proc. ICML Workshop on Uncertinaty in Deep Learning, September 2020 (Accepted)
Ben Marlin, Brian Jalaian, Meet Vadera, Adam Cobb
Handling Missing Sensors in Topology-aware IoT Applications with Gated Graph Neural Networks
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT), September 2020 (Accepted)
Shengzhong Liu, Shuochao Yao, Yifei Huang, Dongxin Liu, Yiran Zhao, Jinyang Li, Tianshi Wang, Ruijie Wang, Chaoqi Yang, Tarek Abdelzaher
Deep Convolutional Bidirectional LSTM for Complex Activity Recognition with Missing Data
In Proc. International Conference on Activity and Behavior Computing (ABC2020), August 2020
Swapnil Saha, Sandeep Sandha, Mani Srivastava
Waiting Game: Optimally Provisioning Fixed Resources for Cloud-enabled Schedulers
In Proc. Proceedings of ACM/IEEE Conference on Supercomputing - SC20, August 2020 (Accepted)
Ambati Pradeep, Noman Bashir, David Irwin, Prashant Shenoy
Secure State-Reconstruction Over Networks Subject to Attacks
IEEE Control System Letters (joint publication also at cdc'20), August 2020 (Accepted)
Yanwen Mao, Suhas Diggavi, Christina Fragouli, Paulo Tabuada
Finite-sample analysis for decentralized cooperative multi-agent reinforcement learning from batch data
In Proc. 21st IFAC World Congress (IFAC WC 2020), Berlin, Germany, July 12-17, 2020 (virtual), August 2020
Kaiqing Zhang, Zhuoran Yang, Han Liu, Tong Zhang, Tamer Basar
Decentralized multi-agent reinforcement learning with networked agents: Recent advances.
Frontiers of Information Technology & Electronic Engineering, 2020, August 2020 (Accepted)
Kaiqing Zhang, Zhuoran Yang, Tamer Basar
Global convergence of policy gradient methods to (almost) locally optimal policies
SIAM Journal on Control and Optimization, 2020 (to appear), August 2020 (Accepted)
Kaiqing Zhang, Alec Koppel, Hao Zhu, Tamer Basar
Achieving globally superlinear convergence for distributed optimization with adaptive Newton method
In Proc. 59th IEEE Conference on Decision and Control (CDC'20, Dec 14-18, 2020; Jeju Island, Republic of Korea (virtual)), August 2020 (Accepted)
Jiaqi Zhang, Keyou You, Tamer Basar
Achieving globally superlinear convergence for distributed optimization with adaptive Newton method.
In Proc. . 59th IEEE Conference on Decision and Control (CDC'20, Dec 14-18, 2020; Jeju Island, Republic of Korea (virtual)), August 2020 (Accepted)
Jiaqi Zhang, Keyou You, Tamer Basar
Approximate equilibrium computation for discrete-time linear-quadratic mean-field games
In Proc. Proc. 2020 American Control Conference (ACC 2020), Denver, Colorado, July 1-3, 2020 (virtual), pp. 333-339, August 2020
Muhammad Aneeq uz Zaman, Kaiqing Zhang, Erik Miehling, Tamer Basar
Reinforcement learning in non-stationary discrete-time linear-quadratic mean-field games
In Proc. 59th IEEE Conference on Decision and Control (CDC'20, Dec 14-18, 2020; Jeju Island, Republic of Korea (virtual)), August 2020 (Accepted)
Muhammad Aneeq uz Zaman, Kaiqing Zhang, Erik Miehling, Tamer Basar
Information state embedding in partially observable cooperative multi-agent reinforcement learning
In Proc. 59th IEEE Conference on Decision and Control (CDC'20, Dec 14-18, 2020; Jeju Island, Republic of Korea (virtual)), August 2020 (Accepted)
Weichao Mao, Kaiqing Zhang, Erik Miehling, Tamer Basar
Streisand games on complex social networks
In Proc. . 59th IEEE Conference on Decision and Control (CDC'20, Dec 14-18, 2020; Jeju Island, Republic of Korea (virtual)), August 2020 (Accepted)
Sujay Bhatt, Tamer Basar
Scheduling Real-time Deep Learning Services as Imprecise Computations
In Proc. IEEE International Conference on Embedded and Real-time Computing Systems and Applications (RTCSA), August 2020
Shuochao Yao, Yifan Hao, Yiran Zhao, Huajie Shao, Dongxin Liu, Shengzhong Liu, Tianshi Wang, Jinyang Li, Tarek Abdelzaher
Differentially private parameter estimation: Optimal noise insertion and data owner selection
In Proc. 59th IEEE Conference on Decision and Control (CDC'20, Dec 14-18, 2020; Jeju Island, Republic of Korea (virtual)), August 2020 (Accepted)
Xuanyu Cao, Tamer Basar
Decentralized multitask recursive least squares with local linear constraints
In Proc. 54th Asilomar Conference on Signals, Systems and Computers, Nov 1-4, 2020 (virtual), August 2020 (Accepted)
Xuanyu Cao, Tamer Basar
Decentralized multi-agent stochastic optimization with pairwise constraints and quantized communications
IEEE Transactions on Signal Processing, 68:3296-3311, 2020 (published online: 29 May 2020. DOI: 10.1109/TSP.2020.2997394) , August 2020
Xuanyu Cao, Tamer Basar
Secure contingency prediction and response for cyber-physical systems
In Proc. IEEE Conference on Control Technology and Applications (CCTA), Montreal, Canada, August 24-26, 2020 (virtual), August 2020 (Accepted)
Erik Miehling, Cedric Langbort, Tamer Basar
Policy optimization for H-2 linear control with H-infinity robustness guarantee: implicit regularization and global convergence
In Proc. Proc. Machine Learning Research, 2020 (oral presentation at Conf Learning for Dynamics and Control (L4DC), University of California, Berkeley, CA, June 10-11, 2020 (virtual)), August 2020
Kaiqing Zhang, Bin Hu, Tamer Basar
AI on the Edge: Running AI-based IoT Applications Using Specialized Edge Architectures
In Proc. Proceedings of IEEE International Symposium on Workload Characterization, October 2020 , August 2020 (Accepted)
Qianlin Liang, David Irwin, Prashant Shenoy
AI on the Edge: Rethinking AI-based IoT Applications Using Specialized Edge Architectures
In Proc. Proceedings of IEEE International Symposium on Workload Characterization, October 2020, August 2020
Qianling Liang, David Irwin, Prashant Shenoy
New Frontiers in IoT: Networking, Systems, Reliability, and Security Challenges
IEEE IoT Journal, August 2020
Saurabh Bagchi, Tarek Abdelzaher, Ramesh Govindan, Prashant Shenoy, Ananksha Atrey, Pradipta Ghosh, Ran Xu
Byzantine Fault-Tolerant Distributed Machine Learning Using Stochastic Gradient Descent (SGD) and Norm-Based Comparative Gradient Elimination (CGE)
arXiv, August 2020
Nirupam Gupta, Shuo Liu, Nitin Vaidya
Truth Discovery with Multi-modal Data in Social Sensing
IEEE Transactions on Computers, August 2020 (Accepted)
Huajie Shao, Dachun Sun, Shuochao Yao, Lu Su, Zhibo Wang, Dongxin Liu, Shengzhong Liu, Lance Kaplan, Tarek Abdelzaher
Misinformation Detection and Adversarial Attack Cost Analysis in Directional Social Networks
In Proc. 29th International Conference on Computer Communications and Networks (ICCCN), August 2020
Huajie Shao, Shuochao Yao, Andong Jing, Shengzhong Liu, Dongxin Liu, Tianshi Wang, Jinyang Li, Chaoqi Yang, Ruijie Wang, Tarek Abdelzaher
Adversarial perturbations to manipulate the perception of power and influence in networks
6th International Conference on Computational Social Science, July 2020
Nikolaus Parulian, Tiffany Lu, Shubhanshu Mishra, Mihai Avram, Jana Diesner
Why not both? Exact continuous and discrete optimization with submodularity
In Proc. 59th IEEE Conference on Decision and Control, July 2020 (Accepted)
Jonathan Bunton, Paulo Tabuada
To beam or not to beam? Beamforming with submodularity-inspired group sparsity
In Proc. 59th IEEE Conference on Decision and Control, July 2020 (Accepted)
Tzanis Anevlavis, Jonathan Bunton, Anjaly Paril, Jemin George, Paulo Tabuada
ControlVAE: Controllable Variational Autoencoder
In Proc. Proc. International Conference on Machine Learning (ICML), July 2020
Huajie Shao, Shuochao Yao, Dachun Sun, Aston Zhang, Shengzhong Liu, Dongxin Liu, Jun Wang, Tarek Abdelzaher
CLIO: Enabling automatic compilation of deep learning pipelines across IoT and Cloud
In Proc. MOBICOM, July 2020 (Accepted)
Jin Huang, Deepak Ganesan , Ben Marlin, Heesung Kwon
Multi-Agent Coordination for Distributed Transmit Beamforming
In Proc. 2020 American Control Conference, July 2020
Jemin George, Anjaly Parayil, Cemal Yilmaz, Bethany Allik, He Bai, Aranya Chakrabortty
Hierarchical Control of Multi-Agent Systems using\\ Online Reinforcement Learning
In Proc. 2020 American Control Conference, July 2020
Jemin George, He Bai, Aranya Chakrabortty
Boosting Cloud Data Analytics using Multi-Objective Optimization
In Proc. IEEE Intl Conference on Data Engineering (ICDE), 2021, July 2020 (Accepted)
Fei Song, Khaled Zaouk, Chenghao Lyu, Qi Fan, Yanlei Diao, Prashant Shenoy
Decentralized gradient methods: does topology matter?
In Proc. AISTATS 2020, June 2020
Giovanni Neglia, Chuan Xu, Don Towsley, Gianmarco Calbi
Effectiveness of the execution and prevention of metric-based adversarial attacks on social network data
Information, special issues on Social Influence, June 2020
Nikolaus Parulian, Tiffany Lu, Shubhanshu Mishra, Mihai Avram, Jana Diesner
Physics-based Simulation of Continuous-Wave LIDAR for Localization, Calibration and Tracking
In Proc. IEEE International Conference on Robotics and Automation, June 2020
Eric Heiden, Ziang Liu, Ragesh Ramachandran, Gaurav Sukhatme
Zero-Shot Learning in the Presence of Hierarchically Coarsened Labels
In Proc. 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) , May 2020 (Accepted)
Colin Samplawski, Heesung Kwon, Erik Learned-Miller, Ben Marlin
Generalized Bayesian Posterior Expectation Distillation for Deep Neural Networks
In Proc. Conference on Uncertinaty in Artificial Intelligence, May 2020 (Accepted)
Meep Vadera, Brian Jalaian, Ben Marlin
A Model-Free Approach to Distributed Transmit Beamforming
In Proc. 2020 ICASSP, May 2020
Jemin George, Cemal Yilmaz, Anjaly Parayil, Aranya Chakrabortty
Rapid Top-Down Synthesis of Large-Scale IoT Networks
In Proc. IEEE International Conference on Computer Communications and Networks (ICCCN 2020), May 2020 (Accepted)
Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos Vieira, Kevin Chan, Ramesh Govindan, Gaurav Sukhatme, Paulo Tabuada, Gunjan Verma
Securing state reconstruction under sensor and actuator attacks: Theory and design
Automatica, May 2020
Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas Diggavi, Paulo Tabuada
Fault-Tolerance in Distributed Optimization: The Case of Redundancy
In Proc. ACM Symposium on Principles of Distributed Computing, May 2020 (Accepted)
Nirupam Gupta, Nitin Vaidya
The Multi-domain Effects Loop: From Future Concepts to Research Challenges
In Proc. SPIE Defense and Commercial Sensing, April 2020
Tarek Abdelzaher, Adam Taliaferro, Paul Sullivan, Stephen Russell
Time Awareness in Deep Learning-Based Multimodal Fusion Across Smartphone Platforms
In Proc. Proceedins of the 5th ACM/IEEE Conference on Internet of Things Design and Implementation (IoTDI 2020), April 2020
Sandeep Sandha, Joseph Noor, Fatima Anwar, Mani Srivastava
Resilience in Collaborative Optimization: Redundant and Independent Cost Functions
arXiv, March 2020
Nirupam Gupta, Nitin Vaidya
SYMMETRIES AND ISOMORPHISMS FOR PRIVACY IN CONTROL OVER THE CLOUD
IEEE Transactions on Automatic Control, March 2020 (Accepted)
Alimzhan Sultangazin, Paulo Tabuada
GlobalFusion: A Global Attentional Deep Learning Framework for Multisensor Information Fusion
The Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT), March 2020
Shengzhing Liu, Shuochao Yao, Jinyang Li, Dobgxin Liu, Tianshi Wang, Huajie Shao
Adversarial perturbations to manipulate the perception of power and influence in networks
Women in Data Science Urbana-Champaign Conference 2020, March 2020
Tiffany Lu, Nikolaus Parulian, Mihai Avram, Shubhanshu Mishra, Jana Diesner
TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents
In Proc. 57th ACM/IEEE Design Automation Conference (DAC), 2020, March 2020
Panagiota (Penny) Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li
Quickest Detection of Dynamic Events in Networks
IEEE Transactions on Information Theory, 66 (4): 2280-2295, April 2020, February 2020
Shaofeng Zou, Venu Veeravalli, Jian Li, Don Towsley
Information Flow Optimization in Inference Networks
In Proc. IEEE ICASSP 2020, February 2020
Aditya Deshmukh, Jing Liu, Venu Veeravalli, Gunjan Verma
Information-Theoretic Understanding of Population Risk Improvement with Model Compression
In Proc. AAAI 2020, February 2020
Yuheng Bu, Weihao Gao, Shaofeng Zou, Venu Veeravalli
Quickest Detection of Growing Anomalies in Networks
In Proc. IEEE ICASSP 2020, February 2020
Georgios Rovatsos, Venu Veeravalli, Don Towsley, Ananthram Swami
Analytical Modeling of Edge Clouds and its Applications
UMass Tech Report to be submitted to Sigmetrics 2021, February 2020
Ahmed Ali-Eldin, Y.C. Tay, Prashant Shenoy
Assessing the Adversarial Robustness of Monte Carlo and Distillation Methods for Deep Bayesian Neural Network Classification
AAAI SafeAI Workshop, February 2020
Meet Vadera, Satya Narayan Shukla, Brian Jalaian, Ben Marlin
Distributed Stochastic Gradient Descent with Event-Triggered Communication
In Proc. AAAI 2020, February 2020
Jemin George, Prudhvi Gurram
Five Challenges in Cloud-Enabled Intelligence and Control
ACM Transactions on Internet Technology, February 2020
Tarek Abdelzaher, Yifan Hao, Kasthuri Jayarajah, Archan Misra, Per Skarin, Shuochao Yao, Dulanga Weerakoon, Karl-Erik Arzen
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms
In Proc. AAAI 2020 , January 2020
Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
On the Need for Topology-Aware Generative Models for Manifold-Based Defenses
In Proc. ICLR 2020, January 2020
Uyeong Wang, Susmit Jha, Somesh Jha
Cloud-scale VM Deflation for Running Interactive Applications On Transient Servers
In Proc. The 29th International Symposium on High-Performance Parallel and Distributed Computing , January 2020
Alex Fuerst, Ahmed Ali-Eldin, Prashant Shenoy, Prateek Sharma
Qsparse-Local-SGD: Distributed SGD With Quantization, Sparsification, and Local Computations
In Proc. Neural Information Processing Systems (NeurIPS) 2019, January 2020
Debraj Basu, Deepesh Data, Can Karakus, Suhas Diggavi
Adaptive Sequential Machine Learning
Sequential Analysis, Vol. 38, No. 4, 545 - 568, 2019, December 2019
Craig Wilson, Yuheng Bu, Venu Veeravalli
When is the Secure State-Reconstruction Problem Hard?
In Proc. IEEE Conference on Decision and Control, December 2019
Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada
Attribution-Based Confidence Metric For Deep Neural Networks
In Proc. NeurIPS 2019, December 2019
Susmit Jha, Brian Jalaian, Gunjan Verma, Ananthram Swami
Symmetries and privacy in control over the cloud: uncertainty sets and side knowledge
In Proc. IEEE Conference on Decision and Control, December 2019
Alimzhan Sultangazin, Paulo Tabuada
Distributed Stochastic Gradient Method for Non-Convex Problems with Applications in Supervised Learning
In Proc. 2019 IEEE Conference on Decision and Control, December 2019
Jemin George, Tao Yang, He Bai, Prudhvi Gurram
Partially-observed discrete-time risk-sensitive mean-field games
In Proc. Proc. 58th IEEE Conference on Decision and Control (CDC'19, Dec 11-13, 2019; Nice, France), December 2019
Naci Saldi, Tamer Basar, Maxim Raginsky
A communication efficient multi-agent actor-critic algorithm for distributed reinforcement learning
In Proc. Proc. 58th IEEE Conference on Decision and Control (CDC19), Nice, France, December 11-13, 2019, December 2019
Yixuan Lin, Kaiqing Zhang, Zhuoran Yang, Zhaoran Wang, Tamer Basar, Romeil Sandhu, Ji Liu
Convergence and iteration complexity of policy gradient method for infinite-horizon reinforcement learning
In Proc. Proc. 58th IEEE Conference on Decision and Control (CDC'19); Nice, France; December 11-13, 2019., December 2019
Kaiqing Zhang, Alec Koppel, Hao Zhu, Tamer Basar
Secure linear quadratic regulator using sparse model-free reinforcement learning
In Proc. Proc. 58th IEEE Conference on Decision and Control (CDC19), Nice, France; December 11-13, 2019, December 2019
Bahare Kiumarsi, Tamer Basar
Non-cooperative inverse reinforcement learning
In Proc. Proc. 2019 Conference on Neural Information Processing Systems (NeurIPS'19, Dec 8-14, 2019; Vancouver, Canada), December 2019
Kaiqing Zhang, Xiangyuan Zhang, Erik Miehling, Tamer Basar
Policy optimization provably converges to Nash equilibria in zero-sum linear quadratic games
In Proc. Proc. 2019 Conference on Neural Information Processing Systems (NeurIPS'19, Dec 8-14, 2019; Vancouver, Canada), December 2019
Kaiqing Zhang, Zhuoran Yang, Tamer Basar
A Consensus-based Approach for Distributed Quickest Detection of Significant Events in Networks
In Proc. ASILOMAR 2019, December 2019
Jian Li, Don Towsley, Shaofeng Zou, Venu Veeravalli, Gabriela Ciocarlie
Active and Adaptive Sequential Learning with Per Time-step Excess Risk Guarantees
In Proc. Asilomar Conference on Signals Systems and Computers 2019, December 2019
Yuheng Bu, Jiaxun Lu, Venu Veeravalli
Quickest Detection of a Dynamic Anomaly in a Sensor Network
In Proc. Asilomar Conference on Signals Systems and Computers 2019, December 2019
Georgios Rovatsos, George Moustakides, Venu Veeravalli
TRINITY: Trust, Resilience and Interpretability of AI (Tutorial)
In Proc. Numerical Software Verification 2019 affiliated with CAV 2019, December 2019RemedIoT: Remedial Actions for Internet-of-Things Conflicts
In Proc. ACM BuildSys 2019, November 2019
Renju Liu, Ziqi Wang, Luis Garcia, Mani Srivastava
The Case for Robust Adaptation: Autonomic Resource Management is a Vulnerability
In Proc. IEEE MILCOM 2019 , November 2019
Joeseph Noor, Ahmed Ali-Eldin, Luis Garcia, Chirag Rao, Venkat Dasari, Deepak Ganesan , Brian Jalaian, Prashant Shenoy, Mani Srivastava
Pub/Sub-Sum: Content-summarization-based Pub/Sub Protocol on Information-centric Networks
In Proc. MILCOM 2019, November 2019
Jongdeog Lee, Suk Min Huang, Kelvin Marcus, Kavin Chan, Tarek Abdelzaher
Multi-Domain Effects and the Internet of Battlefield Things
In Proc. Milcom 2019, November 2019
Stephen Russell, Tarek Abdelzaher, Niranjan Suri
Application of Trust Assessment Techniques to IoBT Systems
In Proc. MILCOM 2019, November 2019
Ioannis Agadakos, Gabriela Ciocarlie, Bogdan Copos, Michael Emmi, Jemin George, Nandi Leslie, James Michaelis
On the optimality of linear signaling to deceive Kalman filters over finite/infinite horizons
In Proc. Proc. GameSec 2019 (10th International Conference on Decision and Game Theory for Security), October 30-November 1, 2019; Stockholm, Sweden., November 2019
Muhammed Sayin, Tamer Basar
Adversarial perturbations to manipulate the perception of power and influence in networks
iSchool Research Showcase 2019, October 2019
Mihai Avram, Shubhanshu Mishra, Nikolaus Parulian, Jana Diesner
Byzantine Fault-Tolerant Parallelized Stochastic Gradient Descent for Linear Regression
In Proc. 57th Annual Allerton Conference on Communication, Control, and Computing, September 2019
Nirupam Gupta, Nitin Vaidya
Sherlock - A Tool for Verification of Neural Network Feedback Systems: Demo Abstract.
In Proc. 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2019, September 2019TeLEx: learning signal temporal logic from positive examples using tightness metric
Formal Methods in System Design, September 2019
Susmit Jha
Hierarchical multi-stage Gaussian signaling games in noncooperative communication and control systems
Automatica (107:9-20, September 2019), August 2019
Muhammed Sayin, Emrah Akyol, Tamer Basar
Adversarial perturbations to manipulate the perception of power and influence in networks
In Proc. Workshop on Social Influence at the 2019 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2019), August 2019
Mihai Avram, Shubhanshu Mishra, Nikolaus Parulian, Jana Diesner
Scheduling Shared Data Acquisition for Real-time Decision Making
In Proc. RTCSA , August 2019
Tai-Sheng Cheng, Tarek Abdelzaher
Data Encoding Methods for Byzantine-Resilient Distributed Optimization
In Proc. IEEE International Symposium on Information Theory, July 2019
Deepesh Data, Linqi Song, Suhas Diggavi
Byzantine-Tolerant Distributed Coordinate Descent
In Proc. IEEE International Symposium on Information Theory, July 2019
Deepesh Data, Suhas Diggavi
Data Encoding for Byzantine-Resilient Distributed Gradient Descent
In Proc. IEEE International Symposium on Information Theory (ISIT), July 2019
Deepesh Data, Linqi Song, Suhas Diggavi
Online planning for decentralized stochastic control with partial history sharing
In Proc. Proc. 2019 American Control Conference (ACC 2019), Philadelphia, Pennsylvania, July 10-12, 2019, July 2019
Tamer Basar, Kaiqing Zhang, Erik Miehling
Quickest Detection of a Moving Target in a Sensor Network
In Proc. IEEE ISIT 2019, July 2019
Georgios Rovatsos, Shaofeng Zou, Venu Veeravalli
Evolution of Cooperation in Network of Interacting Agents
In Proc. 2019 American Control Conference, July 2019
Jemin George, Ananthram Swami
Fast Distributed Least-Squares Solver for Linear Time-Varying Equations
In Proc. 2019 American Control Conference, July 2019
Jemin George, Tao Yang
Assessing the Robustness of Bayesian Dark Knowledge to Posterior Uncertainty
ICML 2019 Workshop on Uncertainty & Robustness in Deep Learning, July 2019
Meet Vadera, Ben Marlin
Distributed Learning over Time-Varying Graphs with Adversarial Agents
In Proc. 2nd International Conference on Information Fusion, Special Session on Internet of Battlefield Things, July 2019
Pooja Vyavahare, Lili Su, Nitin Vaidya
Eugene: Towards Deep Intelligence as a Service
In Proc. ICDCS 2019, July 2019
Shuochao Yao, Tarek Abdelzaher
The Price is (Not) Right: Reflections on Pricing for Transient Cloud Servers
In Proc. Proceedings of IEEE ICCCN Valencia, Spain, July 2019, July 2019
David Irwin, Prashant Shenoy, Pradeep Ambati, Prateek Sharma, Supreeth Shastri, Ahmed Ali-Eldin
Tightening Mutual Information Based Generalization Bounds
In Proc. IEEE ISIT 2019, July 2019
Yuheng Bu, Shaofeng Zou, Venu Veeravalli
SpotWeb: Running Latency-sensitive Distributed Web Services on Transient Cloud Server
In Proc. The 28th International Symposium on High-Performance Parallel and Distributed Computing , June 2019
Ahmed Ali-Eldin, Jonathan Westin, Bin Wang, Prateek Sharma, Prashant Shenoy
Adversarial perturbations for identifying strategies toward biasing the perceptions of power and influence in social networks
In Proc. SUNBELT 2019 - Social Networks Conference of the International Network for Social Network Analysis (INSNA), June 2019
Mihai Avram, Shubhanshu Mishra, Parulian Nikolaus, Jana Diesner
Enhancing the measurement of social effects by capturing morality
In Proc. 10th Workshop on Computational Approaches to Subjectivity, Sentiment and Social Media Analysis (WASSA) co-located at the North American Chapter of the Association for Computational Linguistics (NAACL), June 2019
Rezvaneh Rezapour, Saumil Shah, Jana Diesner
Understanding the Synchronization Costs of Distributed Machine Learning on Transient Cloud Resources
In Proc. Proceedings of IEEE Intl Cloud Engg Conference , June 2019
Prashant Shenoy, Ahmed Ali-Eldin, David Irwin, Pradeep Ambati, Lixin Gao
Game Theory for Next Generation Wireless and Communication Networks: Modeling, Analysis, and Design.
Cambridge University Press, June 2019
Zhu Han, Dusit Niyato, Walid Saad, Tamer Basar
Model Change Detection with Application to Machine Learning
In Proc. IEEE ICASSP 2019, May 2019
Yuheng Bu, Jiaxun Lu, Venu Veeravalli
Distributed Quickest Detection of Significant Events in Networks
In Proc. ICASSP 2019, May 2019
Jian Li, Venu Veeravalli, Don Towsley, Ananthram Swami, Shaofeng Zou
SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT
In Proc. SafeThings 2019: IEEE Workshop on the Internet of Safe Things, May 2019
Salma Elmalaki, Bo-Jhang Ho, Moustafa Alzantot, Yasser Shoukry, Mani Srivastava
Inferring Private Information in Wireless Sensor Networks
In Proc. 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), May 2019
Daniel Burbano, Jemin George, Randy Freeman, Kevin Lynch
DISTRIBUTED TRACKING OF MANEUVERING TARGET: A FINITE-TIME ALGORITHM
In Proc. 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), May 2019
Jemin George
Attribution-driven Causal Analysis for Detection of Adversarial Examples
In Proc. SafeML workshop at ICLR 2019, May 2019
Susmit Jha, Brian Jalaian, Ananthram Swami, Gunjan Verma
STFNets: Learning Sensing Signals from the Time-Frequency Perspective with Short-Time Fourier Neural Networks
In Proc. The Web Conference (WWW), May 2019
Shuochao Yao, Ailing Piao, Wenjun Jiang, Yiran Zhao, Huajie Shao, Shengzhong Liu, Dongxin Liu, Jinyang Li, Tianshi Wang, Shaohan Hu, Lu Su, Jiawei Han, Tarek Abdelzaher
A Semi-Supervised Active-learning Truth Estimator for Social Networks
In Proc. The Web Conference (WWW), May 2019
Hang Cui, Tarek Abdelzaher, Lance Kaplan
The Role of Network Topology for Distributed Machine Learning
In Proc. INFOCOM 2019, April 2019
Giovanni Neglia, Gianmarco Calbi, Don Towsley, Gayane Vardoyan
Enhancing the measurement of social effects by capturing morality
iSchool Corporate Research Showcase, April 2019
Rezvaneh Rezapour, Saumil Shah, Jana Diesner
The Age of Social Sensing
IEEE Computer, April 2019
Dong Wang, Boleslaw Szymanski, Tarek Abdelzaher, Heng Ji, Lance Kaplan
Evrostos: The rLTL Verifier
In Proc. International Conference on Hybrid Systems: Computation and Control, April 2019
Janis Anevlanis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Demo Abstract: DDFlow Visualized Declarative Programming for Heterogeneous IoT Networks on Heliot Testbed Platform
The 4th ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI '19 Posters and Demos), April 2019
Joseph Noor, Sandeep Singh Sandha, Luis Garcia, Mani Srivastava
Dependable Machine Intelligence at the Tactical Edge
In Proc. SPIE Defense and Commercial Sensing, April 2019
Archan Misra, Kasthuri Jayarajah, Dulanga Weekaroon, Shuochao Yao, Tarek Abdelzaher
Towards an Intelligent Tactical Edge: An Internet of Battlefield Things Roadmap
In Proc. SPIE Defense and Commercial Sensing, April 2019
Tarek Abdelzaher, Stephen Russell
DDFlow: Visualized Declarative Programming for Heterogeneous IoT Networks
In Proc. ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI), April 2019
Joseph Noor, Hsiao-Yun Tseng, Luis Garcia, Mani Srivastava
Byzantine Fault Tolerant Distributed Linear Regression
arXiv.org, April 2019
Nirupam Gupta, Nitin Vaidya
Sherlock : A Tool for Verification of Deep Neural Networks.
In Proc. AAAI Spring Symposium on Verification of Neural Networks (VNN), 2019., February 2019
Susmit Jha
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions.
In Proc. AAAI Spring Symposium, Towards Conscious AI Systems, 2019, February 2019
Susmit Jha
Tightening Mutual Information Based Bounds on Generalization Error
ISIT, 2019, February 2019A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems
In Proc. ACC, 2019, February 2019
Susmit Jha
Securing Smart Cities: Implications and Challenges
Book, February 2019 (Accepted)
Ioannis Agadakos, Prashant Anantharaman, Gabriela Ciocarlie, Bogdan Copos, Michael Emmi, Tancrede Lepoint, Ulf Lindqvist, Michael Locasto, Liwei Song
Distributed Learning with Adversarial Agents Under Relaxed Network Condition
Arxiv.org, February 2019
Pooja Vyavahare, Nitin Vaidya
Robust Dynamic Average Consensus Algorithms
IEEE Transactions on Automatic Control, February 2019 (Accepted)
Jemin George, Randy Freeman
Communication scheduling and remote estimation with adversarial intervention
IEEE/CAA Journal of Automatica Sinica, 6(1): 32-44, January 2019., February 2019
Tamer Basar, Xiaobin Gao, Emrah Akyol
Security for Resilient IoBT Systems: Emerging Research Directions
In Proc. The First International Workshop on Internet of Things for Adversarial Environments, January 2019
Ioannis Agadakos, Gabriela Ciocarlie, Bogdan Copos, Jemin George, Nandi Lesli, James Michaelis
Human-in-the-loop control of distributed multi-agent systems: A relative input-output approach
In Proc. Proceedings of the 2018 IEEE Conference on Decision and Control (CDC 2018), pp. 3343-3348, Miami, FL, December 17-19, 2018, December 2018
Tamer Basar, Bahare Kiumarsi
Towards the use of symmetries to ensure privacy in control over the cloud
In Proc. IEEE Conference on Decision and Control, December 2018
Alimzhan Sultangazin, Paulo Tabuada
Verifying rLTL formulas: now faster than ever before
In Proc. IEEE Conference on Decision and Control, December 2018
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
On communication scheduling and remote estimation in the presence of an adversary as a non-zero-sum game
In Proc. 2018 IEEE Conference on Decision and Control (CDC 2018), pp. 2710-2715, Miami, FL, December 2018., December 2018
Tamer Basar, Xiaobin Gao, Emrah Akyol
Learning Task Specifications from Demonstrations.
In Proc. NIPS 2018, December 2018
Susmit Jha, Sanjit Seshia
Deep Learning for the Internet of Battlefield Things
NATO SET-262 Specialists' Meeting on Artificial Intelligence for Military Multisensor Fusion Engines, November 2018
Tarek Abdelzaher
FastDeepIoT: Towards Understanding and Optimizing Neural Network Execution Time on Mobile and Embedded Devices
In Proc. ACM Sensys , November 2018
Shuochao Yao, Yiran Zhao, Huajie Shao, Shengzhong Liu, Dongxin Liu, Lu Su, Tarek Abdelzaher
Towards an Internet of Battlefield Things: A Resilience Perspective
IEEE Computer, November 2018
Tarek Abdelzaher, Nora Ayanian , Tamer Basar, Suhas Diggavi, Jana Diesner, Deepak Ganesan , Ramesh Govindan, Susmit Jha, Tancrede Lepoint, Ben Marlin, Klara Nahrstedt, David Nicol, Raj Rajkumar , Stephen Russell, Sanjit Seshia, Fei Sha, Prashant Shenoy, Mani Srivastava, Gaurav Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin Vaidya, Venu Veeravalli
Quickest Detection of Significant Events in Structured Networks
In Proc. Asilomar Conference on Signals, Systems, and Computers 2018, November 2018
Shaofeng Zou, Venu Veeravalli, Jian Li, Don Towsley
Distributed aggregative games on graphs in adversarial environments
In Proc. Proc. GameSec 2018 (9th International Conference on Decision and Game Theory for Security), October 29-31, 2018; Seattle, WA, pp. 296-313. , October 2018
Tamer Basar, Bahare Kiumarsi
Bias Mitigation of Morality Measurement through Quality-Controlled Lexicon Expansion and Evaluation
iSchool Research Showcase, October 2018
Rezvaneh Rezapour, Saumil Shah, Jana Diesner
Adversarial perturbations for identifying strategies for biasing the perceptions of power and influence in social networks
iSchool Research Showcase, October 2018
Mihai Avram, Shubhanshu Mishra, Jana Diesner
Detecting Adversarial Examples Using Data Manifolds
In Proc. MILCOM 2018, October 2018
Susmit Jha, Brian Jalaian
On Tracking Realistic Targets in a Megacity with Contested Air and Spectrum Access
In Proc. MILCOM, October 2018
Jongdeog Lee, Tarek Abdelzaher, Hang Qiu, Ramesh Govindan, Kelvin Marcus, Reginald Hobbs, Niranjan Suri, Will Dron
The Internet of Battlefield Things: The Next Generation of C3I
In Proc. MILCOM, October 2018
Stephen Russell, Tarek Abdelzaher
Executing Analytics and Fusion Workloads on Transient Computing Resources in Tactical Environments'
In Proc. IEEE MILCOM 2018, October 2018
Ahmed Ali-ElDin, Deepak Ganesan , Heesung Kwon, Ben Marlin, Prashant Shenoy, Mani Srivastava, Don Towsley
Internet of Personalized and Autonomous Things (IoPAT)
In Proc. ACM International Workshop on Smart Cities and Fog Computing (CitiFog '18) , October 2018
Salma Elmalaki, Yasser Shoukry, Mani Srivastava
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games
In Proc. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), October 2018
Sanjit Seshia
Data-Efficient Learning of Robust Control Policies
In Proc. Allerton Control Conference, October 2018
Susmit Jha, Patrick Lincoln
Towards the use of symmetries to ensure privacy in control over the cloud
In Proc. 57th IEEE Conference on Decision and Control (CDC 2018), October 2018
Paulo Tabuada, Alimzhan Sultangazin
Distorting an Adversary's View in Cyber-Physical Systems
In Proc. 57th IEEE Conference on Decision and Control (CDC 2018) , October 2018
Gaurav Agarwal,, Mohammed Karmoose, Suhas Diggavi, Christina Fragouli, Paulo Tabuada
Verifying rLTL formulas: now faster than ever before!
In Proc. 57th IEEE Conference on Decision and Control (CDC 2018), October 2018
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
VirtSense: Virtualize Sensing through ARM TrustZone on Internet-of-Things
In Proc. 3rd Workshop on System Software for Trusted Execution (SysTEX 2018), October 2018
Renju Liu, Mani Srivastava
Intelligent Robotic IoT System (IRIS) Testbed
In Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems, October 2018
Jason A. Tran, Pradipta Ghosh, Yutong Gu, Richard Kim, Daniel D'Souza, Nora Ayanian , Bhaskar Krishnamachari
SenseGAN: Enabling Deep Learning for Internet of Things with a Semi-Supervised Framework
IMWUT (Formerly Ubicomp), September 2018
Shuochao Yao, Yiran Zhao, Huajie Shao, Chao Zhang, Aston Zhang, Shaohan Hu, Dongxin Liu, Shengzhong Liu, Lu Su, Tarek Abdelzaher
Polymorphic radios: A new design paradigm for ultra-low power communication
In Proc. SIGCOMM 2018, August 2018
Deepak Ganesan , Mohammad Rostami
Protecting the privacy of networked multi-agent systems controlled over the cloud
In Proc. 27th International Conference on Computer Communications and Networks (ICCCN 2018), July 2018
Alimzhan Sultangazin, Suhas Diggavi, Paulo Tabuada
QuickSketch: Building 3D Representations in Unknown Environments using Crowdsourcing
In Proc. Fusion 2018, July 2018
Fawad Ahmad, Hang Qiu, Fan Bai, Ramesh Govindan
Risks and Benefits of Side-Channels in Battlefields
In Proc. Fusion 2018, July 2018
Tancrede Lepoint, Ioannis Agadakos, Bogdan Copos, Gabriela Ciocarlie, Michael Locasto, Ulf Lindqvist, James Michaelis
A Command-by-Intent Architecture for Battlefield Information Acquisition Systems
In Proc. Fusion 2018, July 2018
Jongdeog Lee, Yifan Hao, Tarek Abdelzaher, Kelvin Marcus, Reginald Hobbs
ApDeepSense: Deep Learning Uncertainty Estimation Without the Pain for IoT Applications
In Proc. In Proc. IEEE International Conference on Distibuted Computing Systems (ICDCS), July 2018
Shuochao Yao, Yiran Zhao, Huajie Shao, Chao Zhang, Aston Zhang, Dongxin Liu, Shengzhong Liu, Lu Su, Tarek Abdelzaher
Trusted Neural Networks for Safety-Constrained Autonomous Control
In Proc. DISE1: Deep Learning for Safety-Critical Applications in Engineering co-located with ICML, AAMAS and IJCAI, 2018, July 2018
Susmit Jha
Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT
In Proc. ICDCS 2018, July 2018
Tarek Abdelzaher, Nora Ayanian , Tamer Basar, Suhas Diggavi, Jana Diesner, Deepak Ganesan , Ramesh Govindan, Susmit Jha, Tancrede Lepoint, Ben Marlin, Klara Nahrstedt, David Nicol, Raj Rajkumar , Stephen Russell, Sanjit Seshia, Fei Sha, Prashant Shenoy, Mani Srivastava, Gaurav Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin Vaidya, Venu Veeravalli
Generalized Colonel Blotto game
In Proc. Proc. 2018 American Control Conference (ACC 2018), Milwaukee, WI, June 27-29, 2018, pp. 5744-5749, June 2018
Tamer Basar, Anibal Sanjab, Walid Saad, Aidin Ferdowsi
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems
In Proc. 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), June 2018
Susmit Jha, Sunny Raj, Sumit Jha, Natarajan Shankar
Privacy-Utility Trade-off of Linear Regression under Random Projections and Additive Noise
In Proc. IEEE International Symposium on Information Theory, June 2018
Suhas Diggavi, Mehrdad Showkatbaksh, Can Karakus
Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes
In Proc. Proceedings of the DSN Workshop on Dependable and Secure Machine Learning (DSN-DSML), co-located with the IEEE/IFIP International Conference on Dependable Systems and Networks, June 2018
Susmit Jha
A Constrained Maximum Likelihood Estimator for Unguided Social Sensing
In Proc. IEEE International Conference on Computer Communications (IEEE Infocom), June 2018
Huajie Shao, Shuochao Yao, Yiran Zhao, Chao Zhang, Jinda Han, Lance Kaplan, Lu Su, Tarek Abdelzaher
Verifying Controllers Against Adversarial Examples with Bayesian Optimization
In Proc. International Conference on Robotics and Automation (ICRA'18), May 2018
Shromona Ghosh
Deep Learning for the Internet of Things
IEEE Computer, May 2018
Shuochao Yao, Yiran Zhao, Aston Zhaon, Shaohan Hu, Huajie Shao, Chao Zhang, Lu Su, Tarek Abdelzaher
Quickest Detection of Dynamic Events in Sensor Networks
In Proc. Proc. IEEE ICASSP 2018, April 2018
Shaofeng Zou, Venu Veeravalli
Output Range Analysis for Deep Neural Networks
In Proc. Tenth NASA Formal Methods Symposium (NFM 2018), April 2018
Souradeep Dutta, Susmit Jha
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks
In Proc. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS18), April 2018
Souradeep Dutta, Susmit Jha
Realizing the full potential of (infra-)structures for inter-agency communication before, during, and after disasters using the example of APAN (All-Partners Access Network)
In Proc. The 3rd International Workshop on Social Sensing (SocialSens 2018), April 2018
Ly Dinh, Jana Diesner
Athena: Towards Decision-centric Anticipatory Sensor Information Delivery
Journal of Sensor and Actuator Networks, January 2018
Jongdeog Lee, Kelvin Marcus, Tarek Abdelzaher, Tanvir Amin, Will Dron, Ramesh Govindan, Reginald Hobbs, Shaohan Hu, Amotz Bar-Noy, Jung-Eun Kim, Shuochao Yao
RDeepSense: Reliable Deep Mobile Computing Models with Uncertainty Estimation
ACM IMWUT (formerly UbiComp), December 2017
Shuochao Yao, Yiran Zhao, Huajie Shao, Aston Zhang, Chao Zhang, Shen Li, Tarek Abdelzaher