The DFG has informed us that the project proposal “Parameter Synthesis for Reliable, Performant and Efficient Wireless Network Protocols” has been granted. The project aims at developing and using parameter synthesis techniques for probabilistic timed automata and applying them to design new, optimal variants of routing protocols in wireless networks such as AODV. Mojgan Kamali will be working on this project.