Showing 1 - 4 results of 4 for search 'Sorrentino, L', query time: 0.02s Refine Results
  1. 1
    On the counting of strategies

    On the counting of strategies by Malvone, V, Mogavero, F, Murano, A, Sorrentino, L

    Published 2016
    Conference item
  2. 2
    Hierarchical cost-parity games

    Hierarchical cost-parity games by Bozzelli, L, Murano, A, Perelli, G, Sorrentino, L

    Published 2017
    Conference item
  3. 3
    Cycle detection in computation tree logic

    Cycle detection in computation tree logic by Fontaine, G, Mogavero, F, Murano, A, Perelli, G, Sorrentino, L

    Published 2018
    Journal article
  4. 4
    Cycle detection in computation tree logic

    Cycle detection in computation tree logic by Fontaine, G, Mogavero, F, Murano, A, Perelli, G, Sorrentino, L

    Published 2016
    Conference item

Search Tools: