( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An extensive model checking framework for multi-agent systems.

, , , и . AAMAS, стр. 1645-1646. IFAAMAS/ACM, (2014)

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.

Song Song

Song Song

Song-Hak Song-Schreff

Song Gao

Peng Song

 

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

Automated Analysis of Commitment Protocols Using Probabilistic Model Checking., , , и . AAAI, стр. 2060-2066. AAAI Press, (2015)Analyzing multi-agent systems with probabilistic model checking approach., , , , , и . ICSE, стр. 1337-1340. IEEE Computer Society, (2012)Improved Reachability Analysis in DTMC via Divide and Conquer., , , , и . IFM, том 7940 из Lecture Notes in Computer Science, стр. 162-176. Springer, (2013)An Effective Heuristic-Based Approach for Partitioning., , , , , и . J. Appl. Math., (2013)Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking., , , , , и . IEEE Trans. Hum. Mach. Syst., 46 (2): 197-208 (2016)Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction., , , , , , и . PRIMA, том 7455 из Lecture Notes in Computer Science, стр. 16-30. Springer, (2012)A Model Checker for Hierarchical Probabilistic Real-Time Systems., , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 705-711. Springer, (2012)Architecture-Based Behavioral Adaptation with Generated Alternatives and Relaxed Constraints., , , , , и . IEEE Trans. Serv. Comput., 12 (1): 73-87 (2019)An extensive model checking framework for multi-agent systems., , , и . AAMAS, стр. 1645-1646. IFAAMAS/ACM, (2014)Formalizing and verifying stochastic system architectures using Monterey Phoenix., , , , , , и . Softw. Syst. Model., 15 (2): 453-471 (2016)