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.




318 Publications

2021 | Conference Paper | IST-REx-ID: 9200 | OA
Synthesis of hybrid automata with affine dynamics from time-series data
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, n.d., p. 2102.12734.
View | Files available | DOI | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10003 | OA
Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–14.
View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10108 | OA
Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
View | Files available | DOI
 
2021 | Technical Report | IST-REx-ID: 9946 | OA
Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
View | Files available | DOI
 
2021 | Preprint | IST-REx-ID: 9281 | OA
Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
View | Files available | Download Preprint (ext.) | arXiv
 

Search

Filter Publications