Showing 1 - 11 results of 11 for search 'MOLLE~', query time: 1.35s Refine Results
  1. 1
    Smart sampling for lightweight verification of Markov decision processes

    Smart sampling for lightweight verification of Markov decision processes by D'Argenio, Pedro Ruben, Legay, Axel, Sedwards, Sean, Traonouez, Louis-Marie

    Published 2022
    Subjects: “…Statistical model checking…”
    Get full text
    Get full text
    submittedVersion
  2. 2
    Análisis multiobjetivo sobre DTNs

    Análisis multiobjetivo sobre DTNs by Torrella, Ulises Nicolás

    Published 2023
    Subjects:
    Get full text
    bachelorThesis
  3. 3
    Reducción de orden parcial en model checking probabilista simbólico

    Reducción de orden parcial en model checking probabilista simbólico by Ferrer Fioriti, Luis María

    Published 2011
    Subjects:
    Get full text
    bachelorThesis
  4. 4
    Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM

    Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM by Zandarin, Nicolás Hugo

    Published 2011
    Subjects:
    Get full text
    bachelorThesis
  5. 5
    Implementación de técnicas de derivación de contraejemplos en el model checker PRISM

    Implementación de técnicas de derivación de contraejemplos en el model checker PRISM by Marenchino, Matías Leandro

    Published 2011
    Subjects:
    Get full text
    bachelorThesis
  6. 6
    OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas

    OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas by Bordenabe, Nicolas Emilio

    Published 2011
    Subjects:
    Get full text
    bachelorThesis
  7. 7
    Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas

    Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas by Monti, Raúl Enrique

    Published 2022
    Get full text
    bachelorThesis
  8. 8
    A theory for the semantics of stochastic and non-deterministic continuous systems

    A theory for the semantics of stochastic and non-deterministic continuous systems by Budde, Carlos Esteban, D'Argenio, Pedro Ruben, Sánchez Terraf, Pedro Octavio, Wolovick, Nicolás

    Published 2021
    Subjects:
    Get full text
    acceptedVersion
  9. 9
    Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria

    Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria by Feltes, Joaquín Ignacio

    Published 2024
    Subjects:
    Get full text
    bachelorThesis
  10. 10
    Verificación formal de protocolos distribuidos

    Verificación formal de protocolos distribuidos by Naser Pastoriza, Alejandro José

    Published 2020
    Subjects: “…Distributed computing models…”
    Get full text
    info:eu-repo/semantics/publishedVersion
  11. 11
    Analysis of non-Markovian repairable fault trees through rare event simulation

    Analysis of non-Markovian repairable fault trees through rare event simulation by Budde, Carlos E., D'Argenio, Pedro Ruben, Monti, Raúl Enrique, Stoelinga, Mariëlle

    Published 2023
    Subjects:
    Get full text
    Get full text
    info:eu-repo/semantics/publishedVersion

Search Tools: