Browse Research and Tech Reports - Computer Science by Subject "Formal methods"

  • Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A. (2004-12)
    Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operators and unbounded until formulas. In this ...

    application/pdf

    application/pdfPDF (230kB)
  • Griffith, Dennis; Gunter, Elsa L. (2012-11-30)
    In this paper, we introduce SLeRCN, an extension of Strategy Logic (SL). The extensions syntactic and semantic. The main syntactic extensions include lifting the restrictions in Chatterjee et al. [7] that formulae must be ...

    application/pdf

    application/pdfPDF (256kB)
  • Ahmed, Amr M.E.; Patel, Abhilash; Brown, Tom; Ham, MyungJoo; Jang, Myeong-Wuk; Agha, Gul A. (2004-12)
    In the dynamic distributed task assignment (DDTA) problem, a team of agents is required to accomplish a set of tasks while maximizing the overall team utility. An effective solution to this problem needs to address two ...

    application/pdf

    application/pdfPDF (144kB)