( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Playing Against Fair Adversaries in Stochastic Games with Total Rewards.

, , , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 48-69. Springer, (2022)

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.

William Castro

Susana Castro

Carlos Castro

Daniel Castro

Alfonso Castro

 

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

Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics., , и . STACS, том 30 из LIPIcs, стр. 211-223. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A Complete and Compact Propositional Deontic Logic., и . ICTAC, том 4711 из Lecture Notes in Computer Science, стр. 109-123. Springer, (2007)Characterizing Locality (Encapsulation) with Bisimulation., и . ICTAC, том 6255 из Lecture Notes in Computer Science, стр. 322-336. Springer, (2010)Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems., , , и . Fundam. Informaticae, 166 (4): 297-347 (2019)Default Modal Systems as Algebraic Updates., , , и . DaLí, том 12569 из Lecture Notes in Computer Science, стр. 103-119. Springer, (2020)Playing Against Fair Adversaries in Stochastic Games with Total Rewards., , , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 48-69. Springer, (2022)Measuring Masking Fault-Tolerance., , , и . TACAS (2), том 11428 из Lecture Notes in Computer Science, стр. 375-392. Springer, (2019)Algebraic tools for default modal systems., , , и . J. Log. Comput., 33 (6): 1301-1325 (августа 2023)Encapsulating deontic and branching time specifications., и . Theor. Comput. Sci., (2012)A Deontic Logic of Knowingly Complying., , , , и . AAMAS, стр. 364-372. ACM, (2023)