B | |
---|---|
[BRS14] | Romain Brenguier, Jean-François Raskin, and Mathieu Sassolas. The complexity of admissibility in omega-regular games. In CSL/ LICS'14, pages 23:1-23:10. ACM Press, July 2014. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
B | |
---|---|
[BRS14] | Romain Brenguier, Jean-François Raskin, and Mathieu Sassolas. The complexity of admissibility in omega-regular games. In CSL/ LICS'14, pages 23:1-23:10. ACM Press, July 2014. |