Henzinger, T. A., Karimi, M., Kueffner, K., &; Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery.https://doi.org/10.1145/3593013.3594028 
LibreCat: https://research-explorer.ista.ac.at/record/13228
DOI: 10.1145/3593013.3594028
WoS: 001062819300057
arXiv: 2305.04699

Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., &; Da Costa, A. O. (2022). Flavors of sequential information flow. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 13182, pp. 1–19). Philadelphia, PA, United States: Springer Nature.https://doi.org/10.1007/978-3-030-94583-1_1 
LibreCat: https://research-explorer.ista.ac.at/record/10774
DOI: 10.1007/978-3-030-94583-1_1
arXiv: 2105.02013

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 
LibreCat: https://research-explorer.ista.ac.at/record/12010
DOI: 10.1109/ICRA46639.2022.9811650
arXiv: 2103.04909

Garcia Soto, M., Henzinger, T. A., &; Schilling, C. (2022). Synthesis of parametric hybrid automata from time series. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 337–353). Virtual: Springer Nature.https://doi.org/10.1007/978-3-031-19992-9_22 
LibreCat: https://research-explorer.ista.ac.at/record/12171
DOI: 10.1007/978-3-031-19992-9_22
arXiv: 2208.06383

Henzinger, T. A., Lehtinen, K., &; Totzke, P. (2022). History-deterministic timed automata. In 33rd International Conference on Concurrency Theory (Vol. 243, p. 14:1-14:21). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2022.14 
LibreCat: https://research-explorer.ista.ac.at/record/12508
DOI: 10.4230/LIPIcs.CONCUR.2022.14

Avni, G., &; Henzinger, T. A. (2022). An updated survey of bidding games on graphs. In 47th International Symposium on Mathematical Foundations of Computer Science (Vol. 241, p. 3:1-3:6). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.MFCS.2022.3 
LibreCat: https://research-explorer.ista.ac.at/record/12509
DOI: 10.4230/LIPIcs.MFCS.2022.3

Lechner, M., Amini, A., Rus, D., &; Henzinger, T. A. (n.d.). Revisiting the adversarial robustness-accuracy tradeoff in robot learning. arXiv.https://doi.org/10.48550/arXiv.2204.07373 
LibreCat: https://research-explorer.ista.ac.at/record/11366
DOI: 10.48550/arXiv.2204.07373
arXiv: 2204.07373

Henzinger, T. A. (2022). Quantitative monitoring of software. In Software Verification (Vol. 13124, pp. 3–6). New Haven, CT, United States: Springer Nature.https://doi.org/10.1007/978-3-030-95561-8_1 
LibreCat: https://research-explorer.ista.ac.at/record/10891
DOI: 10.1007/978-3-030-95561-8_1
WoS: 000771713200001

Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., &; Da Costa, A. O. (2022). Information-flow interfaces. In Fundamental Approaches to Software Engineering (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature.https://doi.org/10.1007/978-3-030-99429-7_1 
LibreCat: https://research-explorer.ista.ac.at/record/11355
DOI: 10.1007/978-3-030-99429-7_1
WoS: 000782393600001

Henzinger, T. A., Mazzocchi, N. A., &; Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In 22nd International Conference on Runtime Verification (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature.https://doi.org/10.1007/978-3-031-17196-3_11 
LibreCat: https://research-explorer.ista.ac.at/record/11775
DOI: 10.1007/978-3-031-17196-3_11
WoS: 000866539700011

Hasani, R., Lechner, M., Amini, A., Liebenwein, L., Ray, A., Tschaikowski, M.,https://doi.org/10.1038/s42256-022-00556-7__Rus, D. (2022). Closed-form continuous-time neural networks. Nature Machine Intelligence. Springer Nature.https://doi.org/10.1038/s42256-022-00556-7 
LibreCat: https://research-explorer.ista.ac.at/record/12147
DOI: 10.1038/s42256-022-00556-7
WoS: 000884215600003
arXiv: 2106.13898

Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11362 
LibreCat: https://research-explorer.ista.ac.at/record/11362
DOI: 10.15479/at:ista:11362

Doveri, K., Ganty, P., &; Mazzocchi, N. A. (2022). FORQ-based language inclusion formal testing. In Computer Aided Verification (Vol. 13372, pp. 109–129). Haifa, Israel: Springer Nature.https://doi.org/10.1007/978-3-031-13188-2_6 
LibreCat: https://research-explorer.ista.ac.at/record/12302
DOI: 10.1007/978-3-031-13188-2_6
WoS: 000870310500006
arXiv: 2207.13549

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 
LibreCat: https://research-explorer.ista.ac.at/record/12175
DOI: 10.1007/978-3-031-19135-0_5

Gruenbacher, S. A., Lechner, M., Hasani, R., Rus, D., Henzinger, T. A., Smolka, S. A., &; Grosu, R. (2022). GoTube: Scalable statistical verification of continuous-depth models. Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v36i6.20631 
LibreCat: https://research-explorer.ista.ac.at/record/12510
DOI: 10.1609/aaai.v36i6.20631
arXiv: 2107.08467

Lechner, M., Zikelic, D., Chatterjee, K., &; Henzinger, T. A. (2022). Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v36i7.20695 
LibreCat: https://research-explorer.ista.ac.at/record/12511
DOI: 10.1609/aaai.v36i7.20695
arXiv: 2112.09495

Zikelic, D., Lechner, M., Chatterjee, K., &; Henzinger, T. A. (n.d.). Learning stabilizing policies in stochastic control systems. arXiv.https://doi.org/10.48550/arXiv.2205.11991 
LibreCat: https://research-explorer.ista.ac.at/record/14601
DOI: 10.48550/arXiv.2205.11991
arXiv: 2205.11991

Zikelic, D., Lechner, M., Henzinger, T. A., &; Chatterjee, K. (n.d.). Learning control policies for stochastic systems with reach-avoid guarantees. arXiv.https://doi.org/10.48550/ARXIV.2210.05308 
LibreCat: https://research-explorer.ista.ac.at/record/14600
DOI: 10.48550/ARXIV.2210.05308
arXiv: 2210.05308

Mühlböck, F., &; Tate, R. (2021). Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. Chicago, IL, United States: Association for Computing Machinery.https://doi.org/10.1145/3485504 
LibreCat: https://research-explorer.ista.ac.at/record/10153
DOI: 10.1145/3485504

Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., &; Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10669
arXiv: 2012.08863

Hasani, R., Lechner, M., Amini, A., Rus, D., &; Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10671
arXiv: 2006.04439

Babaiee, Z., Hasani, R., Lechner, M., Rus, D., &; Grosu, R. (2021). On-off center-surround receptive fields for accurate and robust image classification. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 478–489). Virtual: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/10668

Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., &; Rus, D. (2021). Causal navigation by continuous-time neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.
LibreCat: https://research-explorer.ista.ac.at/record/10670
arXiv: 2106.08314

Kragl, B., &; Qadeer, S. (2021). The Civl verifier. In P. Ruzica &; M. W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design (Vol. 2, pp. 143–152). Virtual: TU Wien Academic Press.https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23 
LibreCat: https://research-explorer.ista.ac.at/record/10688
DOI: 10.34727/2021/isbn.978-3-85448-046-4_23

Dubach, G., &; Mühlböck, F. (n.d.). Formal verification of Zagier’s one-sentence proof. arXiv.https://doi.org/10.48550/arXiv.2103.11389 
LibreCat: https://research-explorer.ista.ac.at/record/9281
DOI: 10.48550/arXiv.2103.11389
arXiv: 2103.11389

Henzinger, T. A., Lechner, M., &; Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10665
arXiv: 2012.08185

Lechner, M., dikeli, Ð., Chatterjee, K., &; Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.https://doi.org/10.48550/arXiv.2111.03165 
LibreCat: https://research-explorer.ista.ac.at/record/10667
DOI: 10.48550/arXiv.2111.03165
arXiv: 2111.03165

Sarac, N. E., Altun, Ö. F., Atam, K. T., Karahoda, S., Kaya, K., &; Yenigün, H. (2021). Boosting expensive synchronizing heuristics. Expert Systems with Applications. Elsevier.https://doi.org/10.1016/j.eswa.2020.114203 
LibreCat: https://research-explorer.ista.ac.at/record/8912
DOI: 10.1016/j.eswa.2020.114203
WoS: 000640531100038

Garcia Soto, M., Henzinger, T. A., &; Schilling, C. (2021). Synthesis of hybrid automata with affine dynamics from time-series data. In HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (p. 2102.12734). Nashville, TN, United States: Association for Computing Machinery.https://doi.org/10.1145/3447928.3456704 
LibreCat: https://research-explorer.ista.ac.at/record/9200
DOI: 10.1145/3447928.3456704
WoS: 000932821700028
arXiv: 2102.12734

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 
LibreCat: https://research-explorer.ista.ac.at/record/9239
DOI: 10.1016/j.jcss.2021.02.008
WoS: 000634149800009
arXiv: 1905.03835

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 
LibreCat: https://research-explorer.ista.ac.at/record/9356
DOI: 10.1109/LICS52264.2021.9470547
WoS: 000947350400021
arXiv: 2105.08353

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 
LibreCat: https://research-explorer.ista.ac.at/record/9647
DOI: 10.1016/j.tcs.2021.05.023
WoS: 000710180500002

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 
LibreCat: https://research-explorer.ista.ac.at/record/10108
DOI: 10.1007/978-3-030-88494-9_12
WoS: 000719383800012

Mühlböck, F., &; Henzinger, T. A. (2021). Differential monitoring. IST Austria.https://doi.org/10.15479/AT:ISTA:9946 
LibreCat: https://research-explorer.ista.ac.at/record/9946
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/10404
DOI: 10.1111/cgf.14418
WoS: 000722952000024
arXiv: 2110.07667

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 
LibreCat: https://research-explorer.ista.ac.at/record/10674
DOI: 10.23638/LMCS-17(1:10)2021
WoS: 000658724600010
arXiv: 1905.03588

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 
LibreCat: https://research-explorer.ista.ac.at/record/10666
DOI: 10.1109/ICRA48506.2021.9561036
WoS: 000765738803040
arXiv: 2103.08187

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 
LibreCat: https://research-explorer.ista.ac.at/record/10206
DOI: 10.1007/978-3-030-88494-9_3
WoS: 000719383800003
arXiv: 2009.06429

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.
LibreCat: https://research-explorer.ista.ac.at/record/10673

Ferrere, T., Henzinger, T. A., &; Kragl, B. (2020). Monitoring event frequencies. In 28th EACSL Annual Conference on Computer Science Logic (Vol. 152). Barcelona, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CSL.2020.20 
LibreCat: https://research-explorer.ista.ac.at/record/7348
DOI: 10.4230/LIPIcs.CSL.2020.20
arXiv: 1910.06097

Althoff, M., Bak, S., Bao, Z., Forets, M., Frehse, G., Freire, D.,https://doi.org/10.29007/7dt2__Wetzlinger, M. (2020). ARCH-COM Category Report: Continuous and hybrid systems with linear dynamics. In EPiC Series in Computing (Vol. 74, pp. 16–48). EasyChair.https://doi.org/10.29007/7dt2 
LibreCat: https://research-explorer.ista.ac.at/record/8572
DOI: 10.29007/7dt2

Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Chen, X.,https://doi.org/10.29007/zkf6__Schilling, C. (2020). ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 74, pp. 49–75). EasyChair.https://doi.org/10.29007/zkf6 
LibreCat: https://research-explorer.ista.ac.at/record/8571
DOI: 10.29007/zkf6

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2020). Multi-dimensional long-run average problems for vector addition systems with states. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2020.23 
LibreCat: https://research-explorer.ista.ac.at/record/8600
DOI: 10.4230/LIPIcs.CONCUR.2020.23
arXiv: 2007.08917

Avni, G., &; Henzinger, T. A. (2020). A survey of bidding games on graphs. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2020.2 
LibreCat: https://research-explorer.ista.ac.at/record/8599
DOI: 10.4230/LIPIcs.CONCUR.2020.2

Alamdari, P. A., Avni, G., Henzinger, T. A., &; Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press.https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21 
LibreCat: https://research-explorer.ista.ac.at/record/9040
DOI: 10.34727/2020/isbn.978-3-85448-042-6_21

Singh, S. P., &; Alistarh, D.-A. (2020). WoodFisher: Efficient second-order approximation for neural network compression. In Advances in Neural Information Processing Systems (Vol. 33, pp. 18098–18109). Vancouver, Canada: Curran Associates.
LibreCat: https://research-explorer.ista.ac.at/record/9632
arXiv: 2004.14340

Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., &; Grosu, R. (2020). Lagrangian reachtubes: The next generation. In Proceedings of the 59th IEEE Conference on Decision and Control (Vol. 2020, pp. 1556–1563). Jeju Islang, Korea (South): IEEE.https://doi.org/10.1109/CDC42340.2020.9304042 
LibreCat: https://research-explorer.ista.ac.at/record/9103
DOI: 10.1109/CDC42340.2020.9304042
arXiv: 2012.07458

Lechner, M. (2020). Learning representations for binary-classification without backpropagation. In 8th International Conference on Learning Representations. Virtualf; Addis Ababa, Ethiopia: ICLR.
LibreCat: https://research-explorer.ista.ac.at/record/10672

Giacobbe, M., Henzinger, T. A., &; Lechner, M. (2020). How many bits does it take to quantize your neural network? In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12079, pp. 79–97). Dublin, Ireland: Springer Nature.https://doi.org/10.1007/978-3-030-45237-7_5 
LibreCat: https://research-explorer.ista.ac.at/record/7808
DOI: 10.1007/978-3-030-45237-7_5

Avni, G., Henzinger, T. A., &; Kupferman, O. (2020). Dynamic resource allocation games. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2019.06.031 
LibreCat: https://research-explorer.ista.ac.at/record/6761
DOI: 10.1016/j.tcs.2019.06.031
WoS: 000512219400004

Henzinger, T. A., Lukina, A., &; Schilling, C. (2020). Outside the box: Abstraction-based monitoring of neural networks. In 24th European Conference on Artificial Intelligence (Vol. 325, pp. 2433–2440). Santiago de Compostela, Spain: IOS Press.https://doi.org/10.3233/FAIA200375 
LibreCat: https://research-explorer.ista.ac.at/record/7505
DOI: 10.3233/FAIA200375
WoS: 000650971303002
arXiv: 1911.09032

Baranowski, M., He, S., Lechner, M., Nguyen, T. S., &; Rakamari, Z. (2020). An SMT theory of fixed-point arithmetic. In Automated Reasoning (Vol. 12166, pp. 13–31). Paris, France: Springer Nature.https://doi.org/10.1007/978-3-030-51074-9_2 
LibreCat: https://research-explorer.ista.ac.at/record/8194
DOI: 10.1007/978-3-030-51074-9_2
WoS: 000884318000002

Lechner, M., Hasani, R., Amini, A., Henzinger, T. A., Rus, D., &; Grosu, R. (2020). Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. Springer Nature.https://doi.org/10.1038/s42256-020-00237-3 
LibreCat: https://research-explorer.ista.ac.at/record/8679
DOI: 10.1038/s42256-020-00237-3
WoS: 000583337200011

Lechner, M., Hasani, R., Rus, D., &; Grosu, R. (2020). Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme. In Proceedings - IEEE International Conference on Robotics and Automation (pp. 5446–5452). Paris, France: IEEE.https://doi.org/10.1109/ICRA40945.2020.9196608 
LibreCat: https://research-explorer.ista.ac.at/record/8704
DOI: 10.1109/ICRA40945.2020.9196608
WoS: 000712319503110

Forets, M., Freire, D., &; Schilling, C. (2020). Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions. In 18th ACM-IEEE International Conference on Formal Methods and Models for System Design. Virtual Conference: IEEE.https://doi.org/10.1109/MEMOCODE51338.2020.9314994 
LibreCat: https://research-explorer.ista.ac.at/record/8750
DOI: 10.1109/MEMOCODE51338.2020.9314994
WoS: 000661920400013
arXiv: 2006.12325

Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., &; Schilling, C. (2020). Reachability analysis of linear hybrid systems via block decomposition. In Proceedings of the International Conference on Embedded Software. Virtual .
LibreCat: https://research-explorer.ista.ac.at/record/8287
arXiv: 1905.02458

Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., &; Schilling, C. (2020). Reachability analysis of linear hybrid systems via block decomposition. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE.https://doi.org/10.1109/TCAD.2020.3012859 
LibreCat: https://research-explorer.ista.ac.at/record/8790
DOI: 10.1109/TCAD.2020.3012859
WoS: 000587712700072
arXiv: 1905.02458

Avni, G., Ibsen-Jensen, R., &; Tkadlec, J. (2020). All-pay bidding games on graphs. Proceedings of the AAAI Conference on Artificial Intelligence. New York, NY, United States: Association for the Advancement of Artificial Intelligence.https://doi.org/10.1609/aaai.v34i02.5546 
LibreCat: https://research-explorer.ista.ac.at/record/9197
DOI: 10.1609/aaai.v34i02.5546
arXiv: 1911.08360

Henzinger, T. A., &; Sarac, N. E. (2020). Monitorability under assumptions. In Runtime Verification (Vol. 12399, pp. 3–18). Los Angeles, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-030-60508-7_1 
LibreCat: https://research-explorer.ista.ac.at/record/8623
DOI: 10.1007/978-3-030-60508-7_1
WoS: 000728160600001

Kragl, B., Qadeer, S., &; Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature.https://doi.org/10.1007/978-3-030-53288-8_14 
LibreCat: https://research-explorer.ista.ac.at/record/8195
DOI: 10.1007/978-3-030-53288-8_14
WoS: 000695276000014

Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., &; Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 227–242). London, United Kingdom: Association for Computing Machinery.https://doi.org/10.1145/3385412.3385980 
LibreCat: https://research-explorer.ista.ac.at/record/8012
DOI: 10.1145/3385412.3385980
WoS: 000614622300016

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

Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:8332 
LibreCat: https://research-explorer.ista.ac.at/record/8332
DOI: 10.15479/AT:ISTA:8332

Garcia Soto, M., &; Prabhakar, P. (2020). Hybridization for stability verification of nonlinear switched systems. In 2020 IEEE Real-Time Systems Symposium (pp. 244–256). Houston, TX, USA : IEEE.https://doi.org/10.1109/RTSS49844.2020.00031 
LibreCat: https://research-explorer.ista.ac.at/record/9202
DOI: 10.1109/RTSS49844.2020.00031
WoS: 000680435100021

Garcia Soto, M., &; Prabhakar, P. (2020). Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. Elsevier.https://doi.org/10.1016/j.nahs.2020.100856 
LibreCat: https://research-explorer.ista.ac.at/record/7426
DOI: 10.1016/j.nahs.2020.100856
WoS: 000528828600003

Frehse, G., Abate, A., Adzkiya, D., Becchi, A., Bu, L., Cimatti, A.,https://doi.org/10.29007/rjwn__Zaffanella, E. (2019). ARCH-COM Category Report: Hybrid systems with piecewise constant dynamics. In G. Frehse &; M. Althoff (Eds.), ARC. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Vol. 61, pp. 1–13). Montreal, Canada: EasyChair.https://doi.org/10.29007/rjwn 
LibreCat: https://research-explorer.ista.ac.at/record/10877
DOI: 10.29007/rjwn

Kundu, A., Garcia Soto, M., &; Prabhakar, P. (2019). Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In 5th Indian Control Conference Proceedings. Delhi, India: IEEE.https://doi.org/10.1109/INDIANCC.2019.8715598 
LibreCat: https://research-explorer.ista.ac.at/record/6565
DOI: 10.1109/INDIANCC.2019.8715598

Avni, G., Henzinger, T. A., Ibsen-Jensen, R., &; Novotny, P. (2019). Bidding games on Markov decision processes. In https://doi.org/10.1007/978-3-030-30806-3_1__Proceedings of the 13th International Conference of Reachability Problems (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer.https://doi.org/10.1007/978-3-030-30806-3_1 
LibreCat: https://research-explorer.ista.ac.at/record/6822
DOI: 10.1007/978-3-030-30806-3_1

Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., &; Grosu, R. (2019). Designing worm-inspired neural networks for interpretable robotic control. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2019–May). Montreal, QC, Canada: IEEE.https://doi.org/10.1109/icra.2019.8793840 
LibreCat: https://research-explorer.ista.ac.at/record/6888
DOI: 10.1109/icra.2019.8793840

Aghajohari, M., Avni, G., &; Henzinger, T. A. (2019). Determinacy in discrete-bidding infinite-duration games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.20 
LibreCat: https://research-explorer.ista.ac.at/record/6886
DOI: 10.4230/LIPICS.CONCUR.2019.20
arXiv: 1905.03588

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2019). Long-run average behavior of vector addition systems with states (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.CONCUR.2019.27 
LibreCat: https://research-explorer.ista.ac.at/record/6885
DOI: 10.4230/LIPICS.CONCUR.2019.27

Hasani, R., Amini, A., Lechner, M., Naser, F., Grosu, R., &; Rus, D. (2019). Response characterization for auditing cell dynamics in long short-term memory networks. In Proceedings of the International Joint Conference on Neural Networks. Budapest, Hungary: IEEE.https://doi.org/10.1109/ijcnn.2019.8851954 
LibreCat: https://research-explorer.ista.ac.at/record/6985
DOI: 10.1109/ijcnn.2019.8851954
arXiv: 1809.03864

Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., &; Mikudionis, M. (2019). Continuous-time models for system design and analysis. In B. Steffen &; G. Woeginger (Eds.), Computing and Software Science (Vol. 10000, pp. 452–477). Springer Nature.https://doi.org/10.1007/978-3-319-91908-9_22 
LibreCat: https://research-explorer.ista.ac.at/record/7453
DOI: 10.1007/978-3-319-91908-9_22

Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M.,https://doi.org/10.29007/m75b__Schilling, C. (2019). ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 61, pp. 41–61). Montreal, Canada: EasyChair Publications.https://doi.org/10.29007/m75b 
LibreCat: https://research-explorer.ista.ac.at/record/7576
DOI: 10.29007/m75b

Althoff, M., Bak, S., Forets, M., Frehse, G., Kochdumper, N., Ray, R.,https://doi.org/10.29007/bj1w__Schupp, S. (2019). ARCH-COM Category Report: Continuous and hybrid systems with linear continuous dynamics. In EPiC Series in Computing (Vol. 61, pp. 14–40). Montreal, Canada: EasyChair.https://doi.org/10.29007/bj1w 
LibreCat: https://research-explorer.ista.ac.at/record/8570
DOI: 10.29007/bj1w

Avni, G., Henzinger, T. A., &; Zikelic, D. (2019). Bidding mechanisms in graph games (Vol. 138). Presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.MFCS.2019.11 
LibreCat: https://research-explorer.ista.ac.at/record/6884
DOI: 10.4230/LIPICS.MFCS.2019.11
arXiv: 1905.03835

Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C., &; Wüstholz, V. (2019). Semantic fault localization and suspiciousness ranking. In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems  (Vol. 11427, pp. 226–243). Prague, Czech Republic: Springer Nature.https://doi.org/10.1007/978-3-030-17462-0_13 
LibreCat: https://research-explorer.ista.ac.at/record/6042
DOI: 10.1007/978-3-030-17462-0_13
WoS: 000681166500013

Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., &; Schilling, C. (2019). JuliaReach: A toolbox for set-based reachability. In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control (Vol. 22, pp. 39–44). Montreal, QC, Canada: ACM.https://doi.org/10.1145/3302504.3311804 
LibreCat: https://research-explorer.ista.ac.at/record/6035
DOI: 10.1145/3302504.3311804
WoS: 000516713900005
arXiv: 1901.10736

Ferrere, T., Nickovic, D., Donzé, A., Ito, H., &; Kapinski, J. (2019). Interface-aware signal temporal logic. In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 57–66). Montreal, Canada: ACM.https://doi.org/10.1145/3302504.3311800 
LibreCat: https://research-explorer.ista.ac.at/record/6428
DOI: 10.1145/3302504.3311800
WoS: 000516713900007

Avni, G., Bloem, R., Chatterjee, K., Henzinger, T. A., Konighofer, B., &; Pranger, S. (2019). Run-time optimization for learned controllers through quantitative games. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 630–649). New York, NY, United States: Springer.https://doi.org/10.1007/978-3-030-25540-4_36 
LibreCat: https://research-explorer.ista.ac.at/record/6462
DOI: 10.1007/978-3-030-25540-4_36
WoS: 000491468000036

Garcia Soto, M., Henzinger, T. A., Schilling, C., &; Zeleznik, L. (2019). Membership-based synthesis of linear hybrid automata. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 297–314). New York City, NY, USA: Springer.https://doi.org/10.1007/978-3-030-25540-4_16 
LibreCat: https://research-explorer.ista.ac.at/record/6493
DOI: 10.1007/978-3-030-25540-4_16
WoS: 000491468000016

Avni, G., Henzinger, T. A., &; Chonev, V. K. (2019). Infinite-duration bidding games. Journal of the ACM. ACM.https://doi.org/10.1145/3340295 
LibreCat: https://research-explorer.ista.ac.at/record/6752
DOI: 10.1145/3340295
WoS: 000487714900008
arXiv: 1705.01433

Ferrere, T., Maler, O., Nidkovi, D., &; Pnueli, A. (2019). From real-time logic to timed automata. Journal of the ACM. ACM.https://doi.org/10.1145/3286976 
LibreCat: https://research-explorer.ista.ac.at/record/7109
DOI: 10.1145/3286976
WoS: 000495406300005

Guet, C. C., Henzinger, T. A., Igler, C., Petrov, T., &; Sezgin, A. (2019). Transient memory in gene regulation. In 17th International Conference on Computational Methods in Systems Biology (Vol. 11773, pp. 155–187). Trieste, Italy: Springer Nature.https://doi.org/10.1007/978-3-030-31304-3_9 
LibreCat: https://research-explorer.ista.ac.at/record/7147
DOI: 10.1007/978-3-030-31304-3_9
WoS: 000557875100009

Nidkovi, D., Qin, X., Ferrere, T., Mateis, C., &; Deshmukh, J. (2019). Shape expressions for specifying and extracting signal features. In 19th International Conference on Runtime Verification (Vol. 11757, pp. 292–309). Porto, Portugal: Springer Nature.https://doi.org/10.1007/978-3-030-32079-9_17 
LibreCat: https://research-explorer.ista.ac.at/record/7159
DOI: 10.1007/978-3-030-32079-9_17
WoS: 000570006300017

Kong, H., Bartocci, E., Jiang, Y., &; Henzinger, T. A. (2019). Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 123–141). Amsterdam, The Netherlands: Springer Nature.https://doi.org/10.1007/978-3-030-29662-9_8 
LibreCat: https://research-explorer.ista.ac.at/record/7231
DOI: 10.1007/978-3-030-29662-9_8
WoS: 000611677700008
arXiv: 1907.11514

Ferrere, T., Maler, O., &; Nickovic, D. (2019). Mixed-time signal temporal logic. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 59–75). Amsterdam, The Netherlands: Springer Nature.https://doi.org/10.1007/978-3-030-29662-9_4 
LibreCat: https://research-explorer.ista.ac.at/record/7232
DOI: 10.1007/978-3-030-29662-9_4
WoS: 000611677700004

Giacobbe, M. (2019). Automatic time-unbounded reachability analysis of hybrid systems. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:6894 
LibreCat: https://research-explorer.ista.ac.at/record/6894
DOI: 10.15479/AT:ISTA:6894

Clarke, E. M., Henzinger, T. A., Veith, H., &; Bloem, R. (2018). Handbook of Model Checking (1st ed.). Cham: Springer Nature.https://doi.org/10.1007/978-3-319-10575-8 
LibreCat: https://research-explorer.ista.ac.at/record/3300
DOI: 10.1007/978-3-319-10575-8

Clarke, E., Henzinger, T. A., &; Veith, H. (2018). Introduction to model checking. In T. A. Henzinger (Ed.), Handbook of Model Checking (pp. 1–26). Springer.https://doi.org/10.1007/978-3-319-10575-8_1 
LibreCat: https://research-explorer.ista.ac.at/record/60
DOI: 10.1007/978-3-319-10575-8_1

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2018). Computing average response time. In M. Lohstroh, P. Derler, &; M. Sirjani (Eds.), Principles of Modeling (Vol. 10760, pp. 143–161). Springer.https://doi.org/10.1007/978-3-319-95246-8_9 
LibreCat: https://research-explorer.ista.ac.at/record/86
DOI: 10.1007/978-3-319-95246-8_9

Avni, G., Guha, S., &; Kupferman, O. (2018). Timed network games with clocks (Vol. 117). Presented at the MFCS: Mathematical Foundations of Computer Science, Liverpool, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.MFCS.2018.23 
LibreCat: https://research-explorer.ista.ac.at/record/6005
DOI: 10.4230/LIPICS.MFCS.2018.23

Kragl, B., Qadeer, S., &; Henzinger, T. A. (2018). Synchronizing the asynchronous (Vol. 118). Presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2018.21 
LibreCat: https://research-explorer.ista.ac.at/record/133
DOI: 10.4230/LIPIcs.CONCUR.2018.21

Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., &; Ulus, D. (2018). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In D. Beyer &; M. Huisman (Eds.) (Vol. 10806, pp. 303–319). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece: Springer.https://doi.org/10.1007/978-3-319-89963-3_18 
LibreCat: https://research-explorer.ista.ac.at/record/299
DOI: 10.1007/978-3-319-89963-3_18
WoS: 00445822600018

Ferrere, T., Henzinger, T. A., &; Saraç, E. (2018). A theory of register monitors (Vol. Part 8033, pp. 394–403). Presented at the LICS: Logic in Computer Science, Oxford, UK: IEEE.https://doi.org/10.1145/3209108.3209194 
LibreCat: https://research-explorer.ista.ac.at/record/144
DOI: 10.1145/3209108.3209194
WoS: 000545262800041

Bakhirkin, A., Ferrere, T., &; Maler, O. (2018). Efficient parametric identification for STL. In Proceedings of the 21st International Conference on Hybrid Systems (pp. 177–186). Porto, Portugal: ACM.https://doi.org/10.1145/3178126.3178132 
LibreCat: https://research-explorer.ista.ac.at/record/182
DOI: 10.1145/3178126.3178132
WoS: 000474781600020

Avni, G., Henzinger, T. A., &; Ibsen-Jensen, R. (2018). Infinite-duration poorman-bidding games (Vol. 11316, pp. 21–36). Presented at the 14th International Conference on Web and Internet Economics, WINE, Oxford, UK: Springer.https://doi.org/10.1007/978-3-030-04612-5_2 
LibreCat: https://research-explorer.ista.ac.at/record/5788
DOI: 10.1007/978-3-030-04612-5_2
WoS: 000865933000002
arXiv: 1804.04372

Kragl, B., &; Qadeer, S. (2018). Layered Concurrent Programs (Vol. 10981, pp. 79–102). Presented at the CAV: Computer Aided Verification, Oxford, UK: Springer.https://doi.org/10.1007/978-3-319-96145-3_5 
LibreCat: https://research-explorer.ista.ac.at/record/160
DOI: 10.1007/978-3-319-96145-3_5
WoS: 000491481600005

Bartocci, E., Ferrere, T., Manjunath, N., &; Nickovic, D. (2018). Localizing faults in simulink/stateflow models with STL (pp. 197–206). Presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal: Association for Computing Machinery, Inc.https://doi.org/10.1145/3178126.3178131 
LibreCat: https://research-explorer.ista.ac.at/record/183
DOI: 10.1145/3178126.3178131
WoS: 000474781600022

Elgyütt, A., Ferrere, T., &; Henzinger, T. A. (2018). Monitoring temporal logic with clock variables (Vol. 11022, pp. 53–70). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Beijing, China: Springer.https://doi.org/10.1007/978-3-030-00151-3_4 
LibreCat: https://research-explorer.ista.ac.at/record/81
DOI: 10.1007/978-3-030-00151-3_4
WoS: 000884993200004