On Time with Minimal Expected Cost!

December 11, 2017 in by

by Alexandre David, Peter G. Jensen, Kim G. Larsen, Axel Legay, Didier Lime, Mathias G. Sørensen, Jakob H. Taankvist
Reference:
Alexandre David, Peter G. Jensen, Kim G. Larsen, Axel Legay, Didier Lime, Mathias G. Sørensen, Jakob H. Taankvist. On Time with Minimal Expected Cost!. In Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA’14), pages 129-145. Volume 8837 of Lecture Notes in Computer Science. Springer, November 2014.
Bibtex Entry:
@string{nov="November"}
@inproceedings{DJLLLST-atva14,
  address =       {Sydnay, Australia},
  author =        {David, Alexandre and Jensen, Peter G. and
                   Larsen, Kim G. and Legay, Axel and Lime, Didier and
                   S{o}rensen, Mathias G. and Taankvist, Jakob H.},
  booktitle =     {{P}roceedings of the 12th {I}nternational {S}ymposium
                   on {A}utomated {T}echnology for {V}erification and
                   {A}nalysis ({ATVA}'14)},
  editor =        {Cassez, Franck and Raskin, Jean-Fran{c{c}}ois},
  month =         nov,
  pages =         {129-145},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {On Time with Minimal Expected Cost!},
  volume =        {8837},
  year =          {2014},
  doi =           {10.1007/978-3-319-11936-6_10},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  DJLLLST-atva14.pdf},
  category =      {conf},
  wps =           {wp2},
  partners =      {AAU},
  casstingpart =  {50},
}