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.




287 Publications

2020 | Conference Paper | IST-REx-ID: 7348   OA
Ferrere, Thomas, et al. “Monitoring Event Frequencies.” 28th EACSL Annual Conference on Computer Science Logic, vol. 152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 20, doi:10.4230/LIPIcs.CSL.2020.20.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7426
Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems, vol. 36, no. 5, Elsevier, 2020, p. 100856, doi:10.1016/j.nahs.2020.100856.
View | DOI
 
2020 | Journal Article | IST-REx-ID: 6761
Avni, Guy, et al. “Dynamic Resource Allocation Games.” Theoretical Computer Science, vol. 807, Elsevier, 2020, pp. 42–55, doi:10.1016/j.tcs.2019.06.031.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7505
Henzinger, Thomas A., et al. “Outside the Box: Abstraction-Based Monitoring of Neural Networks.” 24th European Conference on Artificial Intelligence.
View | arXiv
 
2019 | Thesis | IST-REx-ID: 6894
Giacobbe, Mirco. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. IST Austria, 2019, doi:10.15479/AT:ISTA:6894.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed