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.




289 Publications

2020 | Conference Paper | IST-REx-ID: 7808   OA
Giacobbe, Mirco, et al. “How Many Bits Does It Take to Quantize Your Neural Network?” International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 12079, Springer Nature, 2020, pp. 79–97, doi:10.1007/978-3-030-45237-7_5.
View | Files available | DOI
 
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
 
2019 | Conference Paper | IST-REx-ID: 6565
Kundu, Atreyee, et al. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” 5th Indian Control Conference Proceedings, IEEE, 2019, p. 8715598, doi:10.1109/INDIANCC.2019.8715598.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis, Maria, et al. “Semantic Fault Localization and Suspiciousness Ranking.” 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 11427, Springer Nature, 2019, pp. 226–43, doi:10.1007/978-3-030-17462-0_13.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6888
Lechner, Mathias, et al. “Designing Worm-Inspired Neural Networks for Interpretable Robotic Control.” Proceedings - IEEE International Conference on Robotics and Automation, vol. 2019–May, 8793840, IEEE, 2019, doi:10.1109/icra.2019.8793840.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed