( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design.

, , , , и . ACM Trans. Embed. Comput. Syst., 18 (1): 2:1-2:26 (2019)

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.

Pierluigi Nuzzo

Antonio Nuzzo

Sabata Nuzzo

Pierluigi Casale

Pierluigi Ramadori

 

Другие публикации лиц с тем же именем

Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations., , , , и . DATE, стр. 638-641. IEEE, (2019)Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints., , , и . ACC, стр. 5140-5146. IEEE, (2022)A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints., , и . AAAI, стр. 8030-8037. AAAI Press, (2021)Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption., , , , , и . HOST, стр. 281-291. IEEE, (2021)Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design., , , , и . ACM Trans. Embed. Comput. Syst., 18 (1): 2:1-2:26 (2019)Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures., , , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (10): 2109-2123 (2020)CROME: Contract-Based Robotic Mission Specification., , , и . MEMOCODE, стр. 1-11. IEEE, (2020)A 16mA UWB 3-to-5GHz 20Mpulses/s Quadrature Analog Correlation Receiver in 0.18µm CMOS., , , , , , , , , и 3 other автор(ы). ISSCC, стр. 368-377. IEEE, (2006)Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (1): 30-43 (января 2024)Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications., , и . CoRR, (2020)