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

Hammami, Mariem

  1. Deciding the synthesis problem for hybrid games through bisimulation
    2024/09/09 by Dima, Catalin, Hammami, Mariem, Oualhadj, Youssouf +1 · 1 citation
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)