Research Research grants Exploiting Knowledge Representation in Boolean Functional Synthesis for Temporal Synthesis ROYAL SOCIETY November 2025 - November 2027