Chair for Verification and
Synthesis of Reactive Systems
People
Research
Publications
Tools
Student Projects
Courses
Compositional Synthesis of Dominant Strategies for Distributed Systems
Noemi Passing
·
Master Thesis
·
Advised by
Bernd Finkbeiner
Associated Publications
Compositional Synthesis of Dominant Strategies for Distributed Systems
Noemi Passing
·
UdS (Master Thesis)
Contact
Data Privacy Policy
Imprint
Home
People
Publications
More
Research
Tools
Projects
Courses