research
∙
06/04/2023
Towards Efficient Controller Synthesis Techniques for Logical LTL Games
Two-player games are a fruitful way to represent and reason about severa...
share
research
∙
12/15/2022
BNSynth: Bounded Boolean Functional Synthesis
The automated synthesis of correct-by-construction Boolean functions fro...
research
∙
07/08/2021
