Browse Research and Tech Reports - Computer Science by Subject "Linear Temporal Logic"

  • 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)
  • Kini, Dileep; Viswanathan, Mahesh (2015)
    LTL\GU is a fragment of linear temporal logic (LTL), where negations appear only on propositions, and formulas are built using the temporal operators X (next), F (eventually), G (always), and U (until, with the restriction ...

    application/pdf

    application/pdfPDF (368kB)