( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parallel Statistical Model Checking for Safety Verification in Smart Grids.

, , , , , , , , и . CoRR, (2021)

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.

Pietro Salvo

Ivano Mombelli

Ivano Giuntoni

Ivano Petrocchi

Svetlana Ivanova

 

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

Model Checking Nash Equilibria in MAD Distributed Systems., , , , , , и . FMCAD, стр. 1-8. IEEE, (2008)Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems., , , и . ICTAC, том 7521 из Lecture Notes in Computer Science, стр. 243-258. Springer, (2012)Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , и . CoRR, (2021)Confluence and expressiveness in reduction systems.. Sapienza University of Rome, Italy, (2004)Graph Theoretic Detection of Inefficiencies in Network Models., , и . ICTCS, том 2243 из CEUR Workshop Proceedings, стр. 87-91. CEUR-WS.org, (2018)User Flexibility Aware Price Policy Synthesis for Smart Grids., , , , , , , , и . DSD, стр. 478-485. IEEE Computer Society, (2015)Computing Biological Model Parameters by Parallel Statistical Model Checking., , , , , и . IWBBIO (2), том 9044 из Lecture Notes in Computer Science, стр. 542-554. Springer, (2015)Automatic control software synthesis for quantized discrete time hybrid systems., , , , и . CDC, стр. 6120-6125. IEEE, (2012)A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software., , , , и . SPIN, том 7976 из Lecture Notes in Computer Science, стр. 43-60. Springer, (2013)Conflict vs causality in event structures., и . J. Log. Algebraic Methods Program., (2021)