-
Selection by year
-
Selection by authors
-
Complete lists
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.
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)