Resultados de búsqueda - Kozen, Dexter

  • Mostrando 1 - 7 Resultados de 7
Limitar resultados
  1. 1
    Imagen de Portada

    Multisets and Distributions Autoría: Kozen, Dexter, Silva, Alexandra

    Publicado 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

    A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism Autoría: Ong, Shawn, Kozen, Dexter

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

    Joint Distributions in Probabilistic Semantics Autoría: Kozen, Dexter, Silva, Alexandra, Voogd, Erik

    Publicado 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

    A cyclic proof system for Guarded Kleene Algebra with Tests (full version) Autoría: Rooduijn, Jan, Kozen, Dexter, Silva, Alexandra

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

    Probability and Angelic Nondeterminism with Multiset Semantics Autoría: Ong, Shawn, Ma, Stephanie, Kozen, Dexter

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

    A Demonic Outcome Logic for Randomized Nondeterminism Autoría: Zilberstein, Noam, Kozen, Dexter, Silva, Alexandra, Tassarotti, Joseph

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

    StacKAT: Infinite State Network Verification Autoría: Jacobs, Jules, Foster, Nate, Kappé, Tobias, Kozen, Dexter, Saada, Lily, Silva, Alexandra, Wagemaker, Jana

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: