Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata

December 16, 2017 in by

by Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny B. Poulsen
Reference:
Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny B. Poulsen. Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. In Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD’14), pages 32-41. IEEE Comp. Soc. Press, June 2014.
Bibtex Entry:
@string{jun="June"}
@inproceedings{acsd2014-DLLLP,
  address =       {Tunis, Tunisia},
  author =        {David, Alexandre and Larsen, Kim G. and Legay, Axel and
                   Li, Guangyuan and Poulsen, Danny B.},
  booktitle =     {{P}roceedings of the 14th {I}nternational
                   {C}onference on {A}pplication of {C}oncurrency to
                   {S}ystem {D}esign ({ACSD}'14)},
  month =         jun,
  pages =         {32-41},
  publisher =     {IEEE Comp. Soc. Press},
  title =         {Quantified Dynamic Metric Temporal Logic for Dynamic
                   Networks of Stochastic Hybrid Automata},
  year =          {2014},
  doi =           {10.1109/ACSD.2014.21},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  acsd2014-DLLLP.pdf},
  category =      {conf},
  wps =           {wp2},
  partners =      {AAU},
  casstingpart =  {50},
}