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.
444 Publications
2023 |
Published |
Conference Paper |
IST-REx-ID: 13292 |
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2023. Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 261, 129:1--129:20.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 13310 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14076 |
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers. 23nd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 168–190.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 14242 |
Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D. 2023. Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 14964–14973.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2023 |
Published |
Conference Paper |
IST-REx-ID: 14405 |
Bartocci E, Henzinger TA, Nickovic D, Oliveira da Costa A. 2023. Hypernode automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 21.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14411 |
Beneš N, Brim L, Pastva S, Šafránek D, Šmijáková E. 2023. Phenotype control of partially specified boolean networks. 21st International Conference on Computational Methods in Systems Biology. CMSB: Computational Methods in Systems Biology, LNBI, vol. 14137, 18–35.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Conference Paper |
IST-REx-ID: 14454 |
Henzinger TA, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness under partial observations. 23rd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 291–311.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14518 |
Avni G, Meggendorfer T, Sadhukhan S, Tkadlec J, Zikelic D. 2023. Reachability poorman discrete-bidding games. Frontiers in Artificial Intelligence and Applications. ECAI: European Conference on Artificial Intelligence vol. 372, 141–148.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14559 |
Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. Learning provably stabilizing neural controllers for discrete-time stochastic systems. 21st International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 14215, 357–379.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14758 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 35th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 3–15.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Conference Paper |
IST-REx-ID: 14830 |
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. 2023. Learning control policies for stochastic systems with reach-avoid guarantees. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 11926–11935.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14920 |
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. 2023. Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. 2, 4.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Research Data Reference |
IST-REx-ID: 14994 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. 2023. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties, Zenodo, 10.5281/ZENODO.7877790.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 15035 |
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers, Zenodo, 10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Conference Paper |
IST-REx-ID: 14718 |
Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 122–131.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Conference Paper |
IST-REx-ID: 14243 |
Avni G, Jecker IR, Zikelic D. 2023. Bidding graph games with partially-observable budgets. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 15023 |
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. 2023. Compositional policy learning in stochastic control systems with formal guarantees. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, .
[Published Version]
View
| Files available
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 12704 |
Lechner M, Amini A, Rus D, Henzinger TA. 2023. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. IEEE Robotics and Automation Letters. 8(3), 1595–1602.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
earlier version | 2023 |
Published |
Conference Paper |
IST-REx-ID: 13221 |
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Safety and liveness of quantitative automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv