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.
353 Publications
2022 | Conference Paper | IST-REx-ID: 12010 | 
Brunnbauer, A., Berducci, L., Brandstatter, A., Lechner, M., Hasani, R., Rus, D., & Grosu, R. (2022). Latent imagination facilitates zero-shot transfer in autonomous racing. In 2022 International Conference on Robotics and Automation (pp. 7513–7520). Philadelphia, PA, United States: IEEE. https://doi.org/10.1109/ICRA46639.2022.9811650
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 11775 |
Henzinger, Thomas A, Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification 13498. 2022
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12147 |
Hasani, Ramin, Closed-form continuous-time neural networks. Nature Machine Intelligence 4 (11). 2022
View
| Files available
| DOI
| arXiv
2022 | Conference Paper | IST-REx-ID: 12171 |
Garcia Soto, Miriam, Synthesis of parametric hybrid automata from time series. 20th International Symposium on Automated Technology for Verification and Analysis 13505. 2022
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12175 |
Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., & Totzke, P. (2022). History-deterministic timed automata are not determinizable. In 16th International Conference on Reachability Problems (Vol. 13608, pp. 67–76). Kaiserslautern, Germany: Springer Nature. https://doi.org/10.1007/978-3-031-19135-0_5
View
| DOI
| Download Preprint (ext.)