Now showing items 1-2 of 2

  • Linear vs. branching time: A semantical perspective 

    Nain, Sumit (2009)
    The discussion of the relative merits of linear versus branching-time goes back to early 1980s. The dominating belief has been that the linear-time framework is not expressive enough semantically, marking linear-time logics ...
  • Synthesis from Probabilistic Components 

    Nain, Sumit (2013-10-29)
    Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms, it is always assumed that the system is ``constructed from scratch'' rather than composed from reusable components. ...