165 followers
Explainable Reactive Synthesis https://t.co/VnhYiiz05I
Explainable Reactive Synthesis https://t.co/VnhYiiz05I
Explainable Reactive Synthesis https://t.co/VnhYiiz05I
Explainable Reactive Synthesis https://t.co/VnhYiiz05I
Verified textbook algorithms (A biased survey). https://t.co/yTn8yOEooF #ITP #IsabelleHOL