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 |

A. Brunnbauer et al., “Latent imagination facilitates zero-shot transfer in autonomous racing,” in 2022 International Conference on Robotics and Automation, Philadelphia, PA, United States, 2022, pp. 7513–7520.
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 |

S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic timed automata are not determinizable,” in 16th International Conference on Reachability Problems, Kaiserslautern, Germany, 2022, vol. 13608, pp. 67–76.
View
| DOI
| Download Preprint (ext.)