( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Nash Equilibria in MAD Distributed Systems.

, , , , , , и . FMCAD, стр. 1-8. IEEE, (2008)

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.

Igor Barabash

Das Bildzitat im Internet. Uni München, (2009)

Igor Yakushev

Igor Pilawski

Igor Barsukov

Igor Pribicevic

 

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

Explicit Algorithms for Probabilistic Model Checking.. Sapienza University of Rome, Italy, (2005)base-search.net (ftunivromairis:oai:iris.uniroma1.it:11573/488365).Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier., , , , и . ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 58-71. Springer, (2003)Demand-aware price policy synthesis and verification services for Smart Grids., , , , , , , , и . SmartGridComm, стр. 794-799. IEEE, (2014)Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , и . SmartGridComm, стр. 1-6. IEEE, (2018)On model based synthesis of embedded control software., , , , и . EMSOFT, стр. 227-236. ACM, (2012)Visualisation of Control Software for Cyber-Physical Systems., , , и . Inf., 12 (5): 178 (2021)Parallel and Distributed Model Checking in Eddy., , , , , и . SPIN, том 3925 из Lecture Notes in Computer Science, стр. 108-125. Springer, (2006)Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification., , и . CoRR, (2021)An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks., , , , и . ISMIS, том 11177 из Lecture Notes in Computer Science, стр. 302-312. Springer, (2018)On-the-Fly Control Software Synthesis., , , , и . SPIN, том 7976 из Lecture Notes in Computer Science, стр. 61-80. Springer, (2013)