( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning About Quality and Fuzziness of Strategic Behaviours.

, , , , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 2887-2888. IOS Press, (2020)

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.

Janice Markey

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)

Nicólás Penzo

Lothar Nicolas

Nicolas Swart

 

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

Tame the BeaST. (октября 2009)Model Checking a Path., и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 248-262. Springer, (2003)Averaging in LTL., , и . CONCUR, том 8704 из Lecture Notes in Computer Science, стр. 266-280. Springer, (2014)Robustness in real-time systems.. SIES, стр. 28-34. IEEE, (2011)Repairing Real-Time Requirements., , , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 371-387. Springer, (2022)Incremental Methods for Checking Real-Time Consistency., , , , и . FORMATS, том 12288 из Lecture Notes in Computer Science, стр. 249-264. Springer, (2020)Computing Maximally-Permissive Strategies in Acyclic Timed Automata., , , и . FORMATS, том 12288 из Lecture Notes in Computer Science, стр. 111-126. Springer, (2020)Reasoning About Quality and Fuzziness of Strategic Behaviours., , , , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 2887-2888. IOS Press, (2020)Efficient timed model checking for discrete-time systems., , и . Theor. Comput. Sci., 353 (1-3): 249-271 (2006)Temporal Logic with Forgettable Past., , и . LICS, стр. 383-392. IEEE Computer Society, (2002)