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
Decentralized gradient methods: does topology matter?
In Proc. AISTATS 2020, June 2020
Giovanni Neglia, Chuan Xu, Don Towsley, Gianmarco Calbi
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
Adversarial perturbations to manipulate the perception of power and influence in networks
In Proc. 6th International Conference on Computational Social Science, April 2020 (Accepted)
Nikolaus Parulian, Tiffany Lu, Shubhanshu Mishra, Mihai Avram, Jana Diesner
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
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
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
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
Quickest Detection of Dynamic Events in Networks
IEEE Transactions on Information Theory, February 2020 (Accepted)
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
Adaptive Sequential Machine Learning
Sequential Analysis, 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 2019The 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
RemedIoT: Remedial Actions for Internet-of-Things Conflicts
In Proc. ACM BuildSys 2019, November 2019
Renju Liu, Ziqi Wang, Luis Garcia, 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
Manipulating network influence via adversarial perturbations
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
Sequential Algorithms for Moving Anomaly Detection in Networks
Sequential Analysis, August 2019 (Accepted)
Georgios Rovatsos, Shaofeng Zou, Venu Veeravalli
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, 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