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
Number of items: 1.

  • 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 Sat Nov 23 08:56:53 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.