Hierarchical Information Patterns and Distributed Strategy Synthesis

October 16, 2017 in by

by Dietmar Berwanger, Anup Basil Mathew, Marie Van den Bogaard
Reference:
Dietmar Berwanger, Anup Basil Mathew, Marie Van den Bogaard. Hierarchical Information Patterns and Distributed Strategy Synthesis. In Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA’15), pages 378-393. Volume 9364 of Lecture Notes in Computer Science. Springer, October 2015.
Bibtex Entry:
@string{oct="October"}
@inproceedings{BMV-atva15,
  address =       {Shanghai, China},
  author =        {Berwanger, Dietmar and Mathew, Anup Basil and
                   Van{ }den{ }Bogaard, Marie},
  booktitle =     {{P}roceedings of the 13th {I}nternational {S}ymposium
                   on {A}utomated {T}echnology for {V}erification and
                   {A}nalysis ({ATVA}'15)},
  editor =        {Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun},
  month =         oct,
  pages =         {378-393},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Hierarchical Information Patterns and Distributed
                   Strategy Synthesis},
  volume =        {9364},
  year =          {2015},
  doi =           {http://dx.doi.org/10.1007/978-3-319-24953-7_28},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BMV-atva15.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {CNRS},
  casstingpart =  {100},
}