Jump to : Download | Contact | BibTex reference | EndNote reference |

brenguier:hal-01248767

R. Brenguier, G. Pérez, J-F. Raskin, O. Sankur. Compositional Algorithms for Succinct Safety Games. In 4th Workshop on Synthesis, San Francisco, United States, July 2015.

Download [help]

Download Hal paper: Hal : Hyper Archive en ligne

Contact

Ocan Sankur http://people.irisa.fr/Ocan.Sankur/

BibTex Reference

@InProceedings{brenguier:hal-01248767,
   Author = {Brenguier, R. and Pérez, G. and Raskin, J-F. and Sankur, O.},
   Title = {Compositional Algorithms for Succinct Safety Games},
   BookTitle = {4th Workshop on Synthesis},
   Address = {San Francisco, United States},
   Month = {July},
   Year = {2015}
}

EndNote Reference [help]

Get EndNote Reference (.ref)