File
CPS: Small: Self-Improving Cyber-Physical Systems
Submitted by Susmit Jha on June 9th, 2021
File
CPS: Small: RUI: Incentive Mechanisms for Mobile Crowdsourcing, Reaching Spatial and Temporal Coverage Under Budget Constraints
Submitted by Luis Jaimes on June 9th, 2021
File
CPS: Medium: Batteryless Sensors Enabling Smart Green Infrastructure
Submitted by Anonymous on June 9th, 2021
File
CAREER: Formal Methods for Human-Cyber-Physical Systems
Lu Feng Submitted by Lu Feng on June 9th, 2021
File
CPS: Medium: Detecting and Controlling Unwanted Data Flows in the Internet of Things
Submitted by Nicholas Feamster on June 9th, 2021
File
CPS: Medium: Collaborative Research: Spatio-Temporal Logics for Analyzing and Querying Perception Systems
Georgios Fainekos Submitted by Georgios Fainekos on June 9th, 2021
File
CPS: Medium: Collaborative Research: Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems
Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems. (PI), , Georgios Fainekosand
Georgios Fainekos Submitted by Georgios Fainekos on June 9th, 2021
File
CPS: Small: Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems
Parasara Sridhar Duggirala Submitted by Parasara Sridhar Duggirala on June 9th, 2021
File
CPS: Small: Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems
Submitted by Harpreet Dhillon on June 9th, 2021
File
CPS: Medium: Collaborative Research: Certifiable reinforcement learning for cyber-physical systems
Submitted by Sam Coogan on June 9th, 2021
Subscribe to Verification and IoT