Showing 1 - 4 results of 4 for search 'Luca de Alfaro', query time: 0.02s
Refine Results
-
1
Qualitative Logics and Equivalences for Probabilistic Systems by Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay
Published 2009-05-01
Article -
2
Game Refinement Relations and Metrics by Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
Published 2008-09-01
Article -
3
Algorithms for Game Metrics by Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
Published 2010-09-01
Article -
4