( en | de | ru )

 

Disambiguierung von "Castro, Pablo F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Playing Against Fair Adversaries in Stochastic Games with Total Rewards.

, , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 48-69. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Susana Castro

William Castro

Carlos Castro

Daniel Castro

Alfonso Castro

 

Weitere Publikationen von Autoren mit dem selben Namen

A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification., , , und . CoRR, (2022)Playing Against Fair Adversaries in Stochastic Games with Total Rewards., , , und . CoRR, (2021)Deontic Action Logics via Algebra., , , und . DEON, Seite 77-93. College Publications, (2021)How Easy it is to Know How: An Upper Bound for the Satisfiability Problem., , , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 405-419. Springer, (2023)Automated Reasoning over Deontic Action Logics with Finite Vocabularies., und . LAFM, Volume 139 von EPTCS, Seite 16-30. (2013)Encapsulating deontic and branching time specifications., und . Theor. Comput. Sci., (2012)Algebraic tools for default modal systems., , , und . J. Log. Comput., 33 (6): 1301-1325 (August 2023)Quantifying Masking Fault-Tolerance via Fair Stochastic Games., , , und . EXPRESS/SOS, Volume 387 von EPTCS, Seite 132-148. (2023)A Deontic Logic of Knowingly Complying., , , , und . AAMAS, Seite 364-372. ACM, (2023)An evolutionary approach to translating operational specifications into declarative specifications., , , , , , und . Sci. Comput. Program., (2019)