GitHub repository: Hoeiriis/UCT_PTA
Primary language: C++
Description: UCT implementation with enhancements for Priced Timed Automatas