Items where Author is "Majumdar, Ritankar S"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.


Chatterjee, Krishnendu and de Alfaro, Luca and Majumdar, Ritankar S and Raman, Vishwanath (2010) Algorithms for game metrics. Logical Methods in Computer Science, 6 (3). Article No. 3. ISSN 1860-5974

Conference or Workshop Item

Chatterjee, Krishnendu and Majumdar, Ritankar S (2010) Discounting in games across time scales. In: GandALF: Games, Automata, Logic, and Formal Verification, June 17-18, 2010, Minori (Amalfi Coast), Italy.

This list was generated on Sun Jun 16 01:01:08 2019 CEST.