GitHub repository: schaefer-dev/k-bosy
Primary language: Swift
Description: Extension to BoSy Synthesis tool to handle epistemic specifications using knowledge semantics. KBoSy transform the KLTL synthesis problem into an LTL synthesis problem that can be solved by BoSy.