Browse Research and Tech Reports - Computer Science by Subject "Automata"

  • Kini, Dileep; Viswanathan, Mahesh (2017)
    A crucial step in model checking Markov Decision Processes (MDP) is to translate the LTL specification into automata. Efforts have been made in improving deterministic automata construction for LTL but such translations ...

    application/pdf

    application/pdfPDF (452kB)