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 TA, Kragl B. Monitoring event frequencies. In: 28th EACSL Annual Conference on Computer Science Logic. Vol 152. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020:20. doi:10.4230/LIPIcs.CSL.2020.20
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 7426
Garcia Soto M, Prabhakar P. Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 2020;36(5):100856. doi:10.1016/j.nahs.2020.100856
View
| DOI
2020 | Journal Article | IST-REx-ID: 6761
Avni G, Henzinger TA, Kupferman O. Dynamic resource allocation games. Theoretical Computer Science. 2020;807:42-55. doi:10.1016/j.tcs.2019.06.031
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7808
Giacobbe M, Henzinger TA, Lechner M. 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. Springer Nature; 2020:79-97. doi:10.1007/978-3-030-45237-7_5
View
| Files available
| DOI