Efficient Model-Checking of Weighted CTL with Upper-Bound Constraints

December 11, 2017 in by

by Jonas F. Jensen, Kim G. Larsen, Jiří Srba, Lars K. Østergaard
Reference:
Jonas F. Jensen, Kim G. Larsen, Jiří Srba, Lars K. Østergaard. Efficient Model-Checking of Weighted CTL with Upper-Bound Constraints. In International Journal on Software Tools for Technology Transfer. Springer, 2016. (To appear)
Bibtex Entry:
@article{JLSO-sttt15,
  author =        {Jensen, Jonas F. and Larsen, Kim G. and
                   Srba, Ji{v{r}}{'i} and {O}stergaard, Lars K.},
  journal =       {International Journal on Software Tools for
                   Technology Transfer},
  note =          {To~appear},
  publisher =     {Springer},
  title =         {Efficient Model-Checking of Weighted {CTL} with
                   Upper-Bound Constraints},
  year =          {2016},
  doi =           {10.1007/s10009-014-0359-5},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  JLSO-sttt15.pdf},
  category =      {jour},
  wps =           {wp2},
  partners =      {AAU},
  casstingpart =  {100},
}