Mostrando 1 - 3 resultados de 3 para a busca 'Dallal, Eric', tempo de busca: 0.02s Refinar Resultados
  1. 1
    Supervisory control for collision avoidance in vehicular networks with imperfect measurements

    Supervisory control for collision avoidance in vehicular networks with imperfect measurements por Dallal, Eric, Colombo, Alessandro, Del Vecchio, Domitilla, Lafortune, Stephane

    Publicado em 2018
    Obter o texto integral
    Obter o texto integral
    Artigo
  2. 2
    Supervisory control for collision avoidance in vehicular networks using discrete event abstractions

    Supervisory control for collision avoidance in vehicular networks using discrete event abstractions por Dallal, Eric, Colombo, Alessandro, Del Vecchio, Domitilla, Lafortune, Stephane

    Publicado em 2015
    Obter o texto integral
    Obter o texto integral
    Artigo
  3. 3
    Syntax-Guided Synthesis

    Syntax-Guided Synthesis por Alur, Rajeev, Bodik, Rastislav, Dallal, Eric, Fisman, Dana, Garg, Pranav, Juniwal, Garvit, Kress-Gazit, Hadas, Madhusudan, P., Martin, Milo M. K., Raghothaman, Mukund, Saha, Shamwaditya, Seshia, Sanjit A., Singh, Rishabh, Solar Lezama, Armando, Torlak, Emina, Udupa, Abhishek

    Publicado em 2021
    Obter o texto integral
    Artigo

Ferramentas de busca: