1. http://arxiv.org/abs/1905.09503
2. https://github.com/ericskim/redax/tree/CAV19
3. Basar, T., Olsder, G.J.: Dynamic Noncooperative Game Theory, vol. 23. Siam, Philadelphia (1999)
4. Bulancea, O.L., Nilsson, P., Ozay, N.: Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. CoRR,
arXiv: abs/1804.04280
(2018)
5. Burch, J., Clarke, E., Long, D.: Symbolic model checking with partitioned transition relations (1991)