Generates provably correct trajectories from cLTL/cLTL+ specifications for large collection of agents
Please refer to
Sahin, Yunus Emre, Petter Nilsson, and Necmiye Ozay. Provably-correct coordination of large collections of agents with counting temporal logic constraints. Proceedings of the 8th International Conference on Cyber-Physical Systems. ACM, 2017. and Sahin, Yunus Emre, Petter Nilsson, and Necmiye Ozay. Synchronous and Asynchronous Multi-agent Coordination with cLTL+ Constraints. CDC, 2017.
Additional README files on how to use tools can be found in respective folders.