Skip to content
FEDERATED LOGIC CONFERENCE 2026
★
🌙
📥
PROGRAM
AUTHORS
KEYWORDS
Search
Muhammad Najib
Affiliation:
Heriot-Watt University
Pages in this Program
Minimal Rational Synthesis
Designed and Developed by EventKey | Copyright 2026 EventKey
Last updated:
🔍
↑