2013): Automated Synthesis of Reliable and Efficient Systems Through Game Theory: A Case Study (0)

by M Randour
Venue:In: Proceedings of the European Conference on Complex Systems 2012, Springer Proceedings in Complexity XVII