Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Regular Methods for Operator Precedence Languages.”https://doi.org/10.4230/LIPIcs.ICALP.2023.129__In 50th International Colloquium on Automata, Languages, and Programming, 261:129:1--129:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.https://doi.org/10.4230/LIPIcs.ICALP.2023.129 .
LibreCat: https://research-explorer.ista.ac.at/record/13292
DOI: 10.4230/LIPIcs.ICALP.2023.129
arXiv: 2305.03447

Lechner, Mathias, Alexander Amini, Daniela Rus, and Thomas A Henzinger. “Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning.”https://doi.org/10.1109/LRA.2023.3240930__IEEE Robotics and Automation Letters. Institute of Electrical and Electronics Engineers, 2023.https://doi.org/10.1109/LRA.2023.3240930 .
LibreCat: https://research-explorer.ista.ac.at/record/12704
DOI: 10.1109/LRA.2023.3240930
WoS: 000936534100012
arXiv: 2204.07373

Benes, Nikola, Lubos Brim, Ondej Huvar, Samuel Pastva, and David Safránek. “Boolean Network Sketches: A Unifying Framework for Logical Model Inference.”https://doi.org/10.1093/bioinformatics/btad158__Bioinformatics. Oxford Academic, 2023.https://doi.org/10.1093/bioinformatics/btad158 .
LibreCat: https://research-explorer.ista.ac.at/record/12876
DOI: 10.1093/bioinformatics/btad158
WoS: 000976610800001
PMID: 37004199

Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, Thomas A Henzinger, and Daniela Rus. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.”https://doi.org/10.1609/aaai.v37i12.26747__In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:14964–73. Association for the Advancement of Artificial Intelligence, 2023.https://doi.org/10.1609/aaai.v37i12.26747 .
LibreCat: https://research-explorer.ista.ac.at/record/14242
DOI: 10.1609/aaai.v37i12.26747
arXiv: 2211.16187

Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with Partially-Observable Budgets.”https://doi.org/10.1609/aaai.v37i5.25679__In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:5464–71, 2023.https://doi.org/10.1609/aaai.v37i5.25679 .
LibreCat: https://research-explorer.ista.ac.at/record/14243
DOI: 10.1609/aaai.v37i5.25679
arXiv: 2211.13626

Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.”https://doi.org/10.1007/978-3-031-37703-7_17__In Computer Aided Verification, 13965:358–382. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37703-7_17 .
LibreCat: https://research-explorer.ista.ac.at/record/13310
DOI: 10.1007/978-3-031-37703-7_17
arXiv: 2305.15979

Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Safety and Liveness of Quantitative Automata.”https://doi.org/10.4230/LIPIcs.CONCUR.2023.17__In 34th International Conference on Concurrency Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.https://doi.org/10.4230/LIPIcs.CONCUR.2023.17 .
LibreCat: https://research-explorer.ista.ac.at/record/13221
DOI: 10.4230/LIPIcs.CONCUR.2023.17
arXiv: 2307.06016

Bartocci, Ezio, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Hypernode Automata.”https://doi.org/10.4230/LIPIcs.CONCUR.2023.21__In 34th International Conference on Concurrency Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.https://doi.org/10.4230/LIPIcs.CONCUR.2023.21 .
LibreCat: https://research-explorer.ista.ac.at/record/14405
DOI: 10.4230/LIPIcs.CONCUR.2023.21
arXiv: 2305.02836

Henzinger, Thomas A, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness under Partial Observations.”https://doi.org/10.1007/978-3-031-44267-4_15__In 23rd International Conference on Runtime Verification, 14245:291–311. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-44267-4_15 .
LibreCat: https://research-explorer.ista.ac.at/record/14454
DOI: 10.1007/978-3-031-44267-4_15
arXiv: 2308.00341

Avni, Guy, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, and Dorde Zikelic. “Reachability Poorman Discrete-Bidding Games.”https://doi.org/10.3233/FAIA230264__In Frontiers in Artificial Intelligence and Applications, 372:141–48. IOS Press, 2023.https://doi.org/10.3233/FAIA230264 .
LibreCat: https://research-explorer.ista.ac.at/record/14518
DOI: 10.3233/FAIA230264
arXiv: 2307.15218

Ansaripour, Matin, Krishnendu Chatterjee, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.”https://doi.org/10.1007/978-3-031-45329-8_17__In 21st International Symposium on Automated Technology for Verification and Analysis, 14215:357–79. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-45329-8_17 .
LibreCat: https://research-explorer.ista.ac.at/record/14559
DOI: 10.1007/978-3-031-45329-8_17

Trinh, Van Giang, Belaid Benhamou, Thomas A Henzinger, and Samuel Pastva. “Trap Spaces of Multi-Valued Networks: Definition, Computation, and Applications.”https://doi.org/10.1093/bioinformatics/btad262__Bioinformatics. Oxford Academic, 2023.https://doi.org/10.1093/bioinformatics/btad262 .
LibreCat: https://research-explorer.ista.ac.at/record/13263
DOI: 10.1093/bioinformatics/btad262
WoS: 001027457000060
PMID: 37387165

Majumdar, Rupak, Kaushik Mallik, Anne Kathrin Schmuck, and Sadegh Soudjani. “Symbolic Control for Stochastic Systems via Finite Parity Games.”https://doi.org/10.1016/j.nahs.2023.101430__Nonlinear Analysis: Hybrid Systems. Elsevier, 2023.https://doi.org/10.1016/j.nahs.2023.101430 .
LibreCat: https://research-explorer.ista.ac.at/record/14400
DOI: 10.1016/j.nahs.2023.101430
WoS: 001093188100001
arXiv: 2101.00834

Pastva, Samuel, and Thomas A Henzinger. “Binary Decision Diagrams on Modern Hardware.”https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20__In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, 122–31. TU Vienna Academic Press, 2023.https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20 .
LibreCat: https://research-explorer.ista.ac.at/record/14718
DOI: 10.34727/2023/isbn.978-3-85448-060-0_20

Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.”https://doi.org/10.1609/aaai.v37i10.26407__In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:11926–35. Association for the Advancement of Artificial Intelligence, 2023.https://doi.org/10.1609/aaai.v37i10.26407 .
LibreCat: https://research-explorer.ista.ac.at/record/14830
DOI: 10.1609/aaai.v37i10.26407
arXiv: 2210.05308

Kueffner, Konstantin, Anna Lukina, Christian Schilling, and Thomas A Henzinger. “Into the Unknown: Active Monitoring of Neural Networks (Extended Version).”https://doi.org/10.1007/s10009-023-00711-4__International Journal on Software Tools for Technology Transfer. Springer Nature, 2023.https://doi.org/10.1007/s10009-023-00711-4 .
LibreCat: https://research-explorer.ista.ac.at/record/13234
DOI: 10.1007/s10009-023-00711-4
WoS: 001020160000001
arXiv: 2009.06429

Banerjee, Tamajit, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.”https://doi.org/10.46298/theoretics.23.4__TheoretiCS. EPI Sciences, 2023.https://doi.org/10.46298/theoretics.23.4 .
LibreCat: https://research-explorer.ista.ac.at/record/14920
DOI: 10.46298/theoretics.23.4
arXiv: 2202.07480

Benes, Nikola, Lubos Brim, Samuel Pastva, David Safránek, and Eva Smijáková. “Phenotype Control of Partially Specified Boolean Networks.”https://doi.org/10.1007/978-3-031-42697-1_2__In 21st International Conference on Computational Methods in Systems Biology, 14137:18–35. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-42697-1_2 .
LibreCat: https://research-explorer.ista.ac.at/record/14411
DOI: 10.1007/978-3-031-42697-1_2

Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.”https://doi.org/10.1007/978-3-031-37709-9_1__In 35th International Conference on Computer Aided Verification, 13966:3–15. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37709-9_1 .
LibreCat: https://research-explorer.ista.ac.at/record/14758
DOI: 10.1007/978-3-031-37709-9_1

Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.”https://doi.org/10.5281/ZENODO.7877790__Zenodo, 2023.https://doi.org/10.5281/ZENODO.7877790 .
LibreCat: https://research-explorer.ista.ac.at/record/14994
DOI: 10.5281/ZENODO.7877790