( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From MDP to POMDP and Back: Safety and Compositionality.

, , , и . ECC, стр. 1-6. IEEE, (2023)

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.

David J Lutz

David J Downs

David J Roy

-J David Lin

David J Roy

 

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

The semantics of BI and resource tableaux., , и . Math. Struct. Comput. Sci., 15 (6): 1033-1088 (2005)Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra., и . FSCD, том 167 из LIPIcs, стр. 8:1-8:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Categorical Proof-Theoretic Semantics., , и . CoRR, (2023)Pricing cyber-insurance for systems via maturity models., и . CoRR, (2023)Erratum to: Algebra and logic for access control., и . Formal Aspects Comput., 22 (3-4): 483-484 (2010)A Unification Algorithm for the lambda-Pi-Calculus.. Int. J. Found. Comput. Sci., 3 (3): 333-378 (1992)A Substructural Epistemic Resource Logic., , и . ICLA, том 10119 из Lecture Notes in Computer Science, стр. 106-122. Springer, (2017)Logic Programming via Proof-valued Computations., и . ALPUK, стр. 253-262. Springer, (1992)Modelling Interfaces and Things Within the Decentralized Ecosystems of the Internet of Things., и . ICIS, Association for Information Systems, (2020)2 Fast 2 Secure: A Case Study of Post-Breach Security Changes., , , и . EuroS&P Workshops, стр. 192-201. IEEE, (2019)