Publications

  1. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer Berlin Heidelberg,
    vol. 9636,
    2016
    , pp. 533-
    539
  2. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Zampedri, Gianni,
    Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
    2016
    , pp. 907-
    913