Symbolic Approximation of Weighted Timed Games
- Publication date
- 1 January 2018
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018)