Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Code of Conduct
Program Agenda
Lightning Talks
Poster Sessions
Mini-Workshops
Submit Poster
Submit Slides
Files
CPS-VO
»
NSF CPS PI Meetings
»
2021 NSF Cyber-Physical Systems Principal Investigators' Meeting
» VERIFICATION AND IOT
Verification and IoT
file
Incentive Mechanisms for Mobile Crowdsourcing, Reaching Spatial and Temporal Coverage Under Budget Constraints
Submitted by Anonymous on Fri, 06/18/2021 - 10:37am. Contributors:
Luis James
Harish Chintakunta
Short Talk
Verification and IoT
1739409
CPS PI Meeting 2021
NSF
Presentation
file
High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts
Submitted by nuzzo on Fri, 06/18/2021 - 10:37am. Contributor:
Pierluigi Nuzzo
Short Talk
Verification and IoT
1846524
CPS PI Meeting 2021
NSF
Presentation
file
Formal Methods for Human-Cyber-Physical Systems
Submitted by Lu Feng on Fri, 06/18/2021 - 10:37am. Contributor:
Lu Feng
Short Talk
Verification and IoT
1942836
CPS PI Meeting 2021
NSF
Presentation
file
Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems
Submitted by Jim Anderson on Fri, 06/18/2021 - 10:37am. Contributors:
James Anderson
Don Smith
Ron Alterovitz
Prakash Sarathy
Short Talk
Verification and IoT
2038855
CPS PI Meeting 2021
NSF
Presentation
file
Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
Submitted by yshoukry on Fri, 06/18/2021 - 10:37am. Contributor:
Yasser Shoukry
Short Talk
Verification and IoT
2002405
CPS PI Meeting 2021
NSF
Presentation
file
Detecting and Controlling Unwanted Data Flows in the Internet of Things
Submitted by Anonymous on Fri, 06/18/2021 - 10:37am. Contributors:
Nicholas Feamster
Samory Kpotufe
Arvind Narayanan
Short Talk
Verification and IoT
1953740
CPS PI Meeting 2021
NSF
Presentation
file
Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning
Submitted by Anonymous on Fri, 06/18/2021 - 10:37am. Contributors:
Majid Zamani
Eric Frew
Morteza Lahijanian
Short Talk
Verification and IoT
2039062
CPS PI Meeting 2021
NSF
Presentation
file
Computation-Aware Autonomy for Timely and Resilient Multi-Agent Systems
Submitted by Ryan Williams on Fri, 06/18/2021 - 10:37am. Contributors:
Ryan Williams
Haibo Zeng
Changhee Jung
Jia-Bin Huang
Short Talk
Verification and IoT
1932074
CPS PI Meeting 2021
NSF
Presentation
file
Charge-Recycling based Computing Paradigm for Wirelessly Powered Internet-of-Things
Submitted by Emre Salman on Fri, 06/18/2021 - 10:37am. Contributors:
Emre Salman
Milutin Stanacevic
Short Talk
Verification and IoT
1646318
CPS PI Meeting 2021
NSF
Presentation
file
Batteryless Sensors Enabling Smart Green Infrastructure
Submitted by Anonymous on Fri, 06/18/2021 - 10:37am. Contributors:
Josiah Hester
George Wells
Qi Zhu
William Miller
Aaron Packman
Short Talk
Verification and IoT
2038853
CPS PI Meeting 2021
NSF
Presentation
« first
‹ previous
1
2
3
4
next ›
last »
