en
Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
288 Publications
2020 | Conference Paper | IST-REx-ID: 7348 
Ferrere, T., Henzinger, T. A., & Kragl, B. (2020). Monitoring event frequencies. In 28th EACSL Annual Conference on Computer Science Logic (Vol. 152, p. 20). Barcelona, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2020.20
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 7426
Garcia Soto, M., & Prabhakar, P. (2020). Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems, 36(5), 100856. https://doi.org/10.1016/j.nahs.2020.100856
View
| DOI
2020 | Journal Article | IST-REx-ID: 6761
Avni, G., Henzinger, T. A., & Kupferman, O. (2020). Dynamic resource allocation games. Theoretical Computer Science, 807, 42–55. https://doi.org/10.1016/j.tcs.2019.06.031
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7808
Giacobbe, M., Henzinger, T. A., & Lechner, M. (2020). How many bits does it take to quantize your neural network? In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12079, pp. 79–97). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-45237-7_5
View
| Files available
| DOI