Compositional Synthesis of Dominant Strategies for Distributed Systems

Noemi Passing · Master Thesis · Advised by Bernd Finkbeiner
Contact Data Privacy Policy Imprint
Home People Publications
More