Author of the publication

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements.

, , , , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Relation-Aware Pyramid Network (RapNet) for temporal action proposal., , , , , and . CoRR, (2019)Learning Through Dialogue Interactions., , , , and . CoRR, (2016)A Novel Analysis Method of Geographical Centrality Based on Space of Flows., , and . ISPRS Int. J. Geo Inf., 6 (5): 153 (2017)Cases Study of Inputs Split Based Calibration Method for RRAM Crossbar., , , , , , and . IEEE Access, (2019)Surface Defects Detection and Identification of Lithium Battery Pole Piece Based on Multi-Feature Fusion and PSO-SVM., , , and . IEEE Access, (2021)Enhanced Spiking Neural Network with forgetting phenomenon based on electronic synaptic devices., , , , , , , and . Neurocomputing, (2020)Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design., , , , and . ACM Trans. Embed. Comput. Syst., 18 (1): 2:1-2:26 (2019)IcoRating: A Deep-Learning System for Scam ICO Identification., , , , , , , , , and 2 other author(s). CoRR, (2018)Evaluating the Evacuation and Rescue Capabilities of Urban Open Space from a Land Use Perspective: A Case Study in Wuhan, China., , , , and . ISPRS Int. J. Geo Inf., 6 (7): 227 (2017)Layer-wise Model Pruning based on Mutual Information., , , , , and . CoRR, (2021)