vix.ing · top · new · best · stats · spec

Enrico Tronci

  1. SMC-ES: Automated synthesis of formally verified control policies
    2026/07/16 by Riccardo Curcio, Toni Mancini, Enrico Tronci
    #cs.AI #cs.LG #cs.NE