Items where Author is "Shah, Nisarg"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Jump to: Journal Paper
Number of items: 1.

Journal Paper

  • Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
    Chatterjee, Krishnendu and Henzinger, Monika and Joglekar, Manas and Shah, Nisarg Formal Methods in System Design, 42 (3). pp. 301-327 ISSN 0925-9856 Kluwer (2013)

    • This list was generated on Tue Dec 3 18:32:55 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.