Into the unknown: Active monitoring of neural networks (extended version)
K. Kueffner, A. Lukina, C. Schilling, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 25 (2023) 575–592.
LibreCat: https://research-explorer.ista.ac.at/record/13234
DOI: 10.1007/s10009-023-00711-4
WoS: 001020160000001
arXiv: 2009.06429

AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
LibreCat: https://research-explorer.ista.ac.at/record/10861
DOI: 10.1007/s10009-020-00582-z
WoS: 000555398600001

HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.
LibreCat: https://research-explorer.ista.ac.at/record/4493
DOI: 10.1007/s100090050008

Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, Software Tools For Technology Transfer 1 (1997) 86–109.
LibreCat: https://research-explorer.ista.ac.at/record/4584
DOI: 10.1007/s100090050007