1. A Cooperative Multiagent System for Traffic Signal Control Using Game Theory and Reinforcement Learning
2. Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126, 2 (1994), 183–235.
3. Optimal and robust controller synthesis using energytimed automata with uncertainty
4. Jim Barnett. 2017. Introduction to SCXML. Multimodal Interaction with W3C Standards: Toward Natural User Interfaces to Everything (2017), 81–107.
5. Gerd Behrmann, Agnes Cougnard, Alexandre David, Emmanuel Fleury, Kim G Larsen, and Didier Lime. 2007. UPPAAL-Tiga: Time for Playing Games! (Tool Paper). In Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings 19. Springer, 121–125.