Avni, G., Henzinger, T. A., &; dikeli, . (2021). Bidding mechanisms in graph games. Journal of Computer and System Sciences. Elsevier.https://doi.org/10.1016/j.jcss.2021.02.008 

Henzinger, T. A., &; Sarac, N. E. (2021). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Online: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/LICS52264.2021.9470547 

Petrov, T., Igler, C., Sezgin, A., Henzinger, T. A., &; Guet, C. C. (2021). Long lived transients in gene regulation. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2021.05.023 

Mühlböck, F., &; Henzinger, T. A. (2021). Differential monitoring. In International Conference on Runtime Verification (Vol. 12974, pp. 231–243). Cham: Springer Nature.https://doi.org/10.1007/978-3-030-88494-9_12 

Mühlböck, F., &; Henzinger, T. A. (2021). Differential monitoring. IST Austria.https://doi.org/10.15479/AT:ISTA:9946 

Sietzen, S., Lechner, M., Borowski, J., Hasani, R., &; Waldner, M. (2021). Interactive analysis of CNN robustness. Computer Graphics Forum. Wiley.https://doi.org/10.1111/cgf.14418 

Aghajohari, M., Avni, G., &; Henzinger, T. A. (2021). Determinacy in discrete-bidding infinite-duration games. Logical Methods in Computer Science. International Federation for Computational Logic.https://doi.org/10.23638/LMCS-17(1:10)2021 

Lechner, M., Hasani, R., Grosu, R., Rus, D., &; Henzinger, T. A. (2021). Adversarial training is not ready for robot learning. In 2021 IEEE International Conference on Robotics and Automation (pp. 4140–4147). Xi’an, China.https://doi.org/10.1109/ICRA48506.2021.9561036 

Lukina, A., Schilling, C., &; Henzinger, T. A. (2021). Into the unknown: active monitoring of neural networks. In 21st International Conference on Runtime Verification (Vol. 12974, pp. 42–61). Cham: Springer Nature.https://doi.org/10.1007/978-3-030-88494-9_3 

Hasani, R., Lechner, M., Amini, A., Rus, D., &; Grosu, R. (2020). A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. In Proceedings of the 37th International Conference on Machine Learning (pp. 4082–4093). Virtual.