1 - 6 toradh á dtaispeáint as 6 toradh san iomlán ar an gcuardach 'Giacobbe, M', am iarratais: 0.02s Beachtaigh na torthaí
  1. 1
    How many bits does it take to quantize your neural network?

    How many bits does it take to quantize your neural network? de réir Giacobbe, M, Henzinger, TA, Lechner, M

    Foilsithe / Cruthaithe 2020
    Conference item
  2. 2
    Learning probabilistic termination proofs

    Learning probabilistic termination proofs de réir Abate, A, Giacobbe, M, Roy, D

    Foilsithe / Cruthaithe 2021
    Conference item
  3. 3
    Bisimulation learning

    Bisimulation learning de réir Abate, A, Giacobbe, M, Schnitzer, Y

    Foilsithe / Cruthaithe 2024
    Conference item
  4. 4
    Verifying reinforcement learning up to infinity

    Verifying reinforcement learning up to infinity de réir Bacci, E, Giacobbe, M, Parker, D

    Foilsithe / Cruthaithe 2021
    Conference item
  5. 5
    Formal synthesis of Lyapunov neural networks

    Formal synthesis of Lyapunov neural networks de réir Abate, A, Ahmed, D, Giacobbe, M, Peruffo, A

    Foilsithe / Cruthaithe 2020
    Journal article
  6. 6
    ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics

    ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics de réir Frehse, G, Abate, A, Adzkiya, D, Becchi, A, Bu, L, Cimatti, A, Giacobbe, M, Griggio, A, Mover, S, Syifa'ul Mufid, M, Riouak, I, Tonetta, S, Zaffanella, E

    Foilsithe / Cruthaithe 2019
    Conference item

Uirlisí cuardaigh: