This repository is not active
Shufang-Zhu/SyftMax
Synthesis of Single and Maximally Permissive Strategies for LTLf Specifications (IJCAI2017, IJCAI2022)
C++AGPL-3.0
Synthesis of Single and Maximally Permissive Strategies for LTLf Specifications (IJCAI2017, IJCAI2022)
C++AGPL-3.0
This repository is not active