B | |
---|---|
[BL21] | Udi Boker and Karoliina Lehtinen. History Determinism vs. Good for Gameness in Quantitative Automata. In FSTTCS'21, Leibniz International Proceedings in Informatics 213, pages 38:1-38:20. Leibniz-Zentrum für Informatik, December 2021. |
Search
Displayed 1 resultList of authors
- 1
- 1