Showing 1 - 4 results of 4 for search 'Brenguier, R', query time: 0.02s Refine Results
  1. 1
    Robust equilibria in mean-payoff games

    Robust equilibria in mean-payoff games by Brenguier, R

    Published 2016
    Conference item
  2. 2
    Optimal assumptions for synthesis

    Optimal assumptions for synthesis by Brenguier, R

    Published 2016
    Conference item
  3. 3
    Decidability results for multi-objective stochastic games

    Decidability results for multi-objective stochastic games by Brenguier, R, Forejt, V

    Published 2016
    Conference item
  4. 4
    The Second Reactive Synthesis Competition (SYNTCOMP 2015)

    The Second Reactive Synthesis Competition (SYNTCOMP 2015) by Jacobs, S, Bloem, R, Brenguier, R, Könighofer, R, Pérez, G, Raskin, J, Ryzhyk, L, Sankur, O, Seidl, M, Tentrup, L, Walker, A

    Published 2016
    Journal article

Search Tools: