Kaushik Mallik

17 Publications

Mark all

[17]
2025 | Published | Conference Paper | IST-REx-ID: 19665 | OA
Cano Cordoba, F., Henzinger, T. A., Könighofer, B., Kueffner, K., & Mallik, K. (2025). Fairness shields: Safeguarding against biased decision makers. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 39, pp. 15659–15668). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i15.33719
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[16]
2025 | Published | Conference Paper | IST-REx-ID: 20225 | OA
Henzinger, T. A., Mallik, K., Sadeghi, P., & Zikelic, D. (2025). Supermartingale certificates for quantitative omega-regular verification and control. In 37th International Conference on Computer Aided Verification (Vol. 15932, pp. 29–55). Zagreb, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-98679-6_2
[Published Version] View | Files available | DOI | arXiv
 
[15]
2025 | Published | Conference Paper | IST-REx-ID: 20256 | OA
Henzinger, T. A., Kresse, F., Mallik, K., Yu, E., & Zikelic, D. (2025). Predictive monitoring of black-box dynamical systems. In 7th Annual Learning for Dynamics & Control Conference (Vol. 283, pp. 804–816). Ann Arbor, MI, United States: ML Research Press.
[Published Version] View | Files available | arXiv
 
[14]
2025 | Published | Conference Paper | IST-REx-ID: 20292 | OA
Gupta, A., Henzinger, T. A., Kueffner, K., Mallik, K., & Pape, D. (2025). Monitoring robustness and individual fairness. In Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining (Vol. 2, pp. 790–801). Toronto, Canada: Association for Computing Machinery. https://doi.org/10.1145/3711896.3737054
[Published Version] View | Files available | DOI | arXiv
 
[13]
2024 | Published | Conference Paper | IST-REx-ID: 17327 | OA
Cano, F., Henzinger, T. A., Könighofer, B., Kueffner, K., & Mallik, K. (2024). Abstraction-based decision making for statistical properties. In 9th International Conference on Formal Structures for Computation and Deduction (Vol. 299). Tallinn, Estonia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSCD.2024.2
[Published Version] View | Files available | DOI
 
[12]
2024 | Published | Journal Article | IST-REx-ID: 14400 | OA
Majumdar, R., Mallik, K., Schmuck, A. K., & Soudjani, S. (2024). Symbolic control for stochastic systems via finite parity games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2023.101430
[Published Version] View | Files available | DOI | WoS | arXiv
 
[11]
2024 | Published | Conference Paper | IST-REx-ID: 18066 | OA
Avni, G., Goharshady, E. K., Henzinger, T. A., & Mallik, K. (2024). Bidding games with charging. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.8
[Published Version] View | Files available | DOI | arXiv
 
[10]
2024 | Published | Conference Paper | IST-REx-ID: 15376 | OA
Avni, G., Mallik, K., & Sadhukhan, S. (2024). Auction-based scheduling. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 153–172). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_8
[Published Version] View | Files available | DOI | WoS | arXiv
 
[9]
2023 | Published | Conference Paper | IST-REx-ID: 13228 | OA
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
[Published Version] View | Files available | DOI | WoS | arXiv
 
[8]
2023 | Published | Conference Paper | IST-REx-ID: 14454 | OA
Henzinger, T. A., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness under partial observations. In 23rd International Conference on Runtime Verification (Vol. 14245, pp. 291–311). Thessaloniki, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_15
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[7]
2023 | Published | Journal Article | IST-REx-ID: 14920 | OA
Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2023). Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. EPI Sciences. https://doi.org/10.46298/theoretics.23.4
[Published Version] View | Files available | DOI | arXiv
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 13141 | OA
Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15
[Published Version] View | Files available | DOI | WoS
 
[5]
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17
[Published Version] View | Files available | DOI | WoS | arXiv
 
[4]
2023 | Published | Conference Paper | IST-REx-ID: 14758 | OA
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_1
[Published Version] View | Files available | DOI | WoS
 
[3]
2023 | Research Data Reference | IST-REx-ID: 14994 | OA
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. https://doi.org/10.5281/ZENODO.7877790
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[2]
2022 | Published | Conference Paper | IST-REx-ID: 12529 | OA
Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2022). A direct symbolic algorithm for solving stochastic rabin games. In 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13244, pp. 81–98). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99527-0_5
[Published Version] View | DOI | Download Published Version (ext.)
 
[1]
2022 | Published | Conference Paper | IST-REx-ID: 12530
Finkbeiner, B., Mallik, K., Passing, N., Schledjewski, M., & Schmuck, A.-K. (2022). BOCoSy: Small but powerful symbolic output-feedback control. In 25th ACM International Conference on Hybrid Systems: Computation and Control (p. 24:1-24:11). Milan, Italy: ACM. https://doi.org/10.1145/3501710.3519535
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

Grants


17 Publications

Mark all

[17]
2025 | Published | Conference Paper | IST-REx-ID: 19665 | OA
Cano Cordoba, F., Henzinger, T. A., Könighofer, B., Kueffner, K., & Mallik, K. (2025). Fairness shields: Safeguarding against biased decision makers. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 39, pp. 15659–15668). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i15.33719
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[16]
2025 | Published | Conference Paper | IST-REx-ID: 20225 | OA
Henzinger, T. A., Mallik, K., Sadeghi, P., & Zikelic, D. (2025). Supermartingale certificates for quantitative omega-regular verification and control. In 37th International Conference on Computer Aided Verification (Vol. 15932, pp. 29–55). Zagreb, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-98679-6_2
[Published Version] View | Files available | DOI | arXiv
 
[15]
2025 | Published | Conference Paper | IST-REx-ID: 20256 | OA
Henzinger, T. A., Kresse, F., Mallik, K., Yu, E., & Zikelic, D. (2025). Predictive monitoring of black-box dynamical systems. In 7th Annual Learning for Dynamics & Control Conference (Vol. 283, pp. 804–816). Ann Arbor, MI, United States: ML Research Press.
[Published Version] View | Files available | arXiv
 
[14]
2025 | Published | Conference Paper | IST-REx-ID: 20292 | OA
Gupta, A., Henzinger, T. A., Kueffner, K., Mallik, K., & Pape, D. (2025). Monitoring robustness and individual fairness. In Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining (Vol. 2, pp. 790–801). Toronto, Canada: Association for Computing Machinery. https://doi.org/10.1145/3711896.3737054
[Published Version] View | Files available | DOI | arXiv
 
[13]
2024 | Published | Conference Paper | IST-REx-ID: 17327 | OA
Cano, F., Henzinger, T. A., Könighofer, B., Kueffner, K., & Mallik, K. (2024). Abstraction-based decision making for statistical properties. In 9th International Conference on Formal Structures for Computation and Deduction (Vol. 299). Tallinn, Estonia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSCD.2024.2
[Published Version] View | Files available | DOI
 
[12]
2024 | Published | Journal Article | IST-REx-ID: 14400 | OA
Majumdar, R., Mallik, K., Schmuck, A. K., & Soudjani, S. (2024). Symbolic control for stochastic systems via finite parity games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2023.101430
[Published Version] View | Files available | DOI | WoS | arXiv
 
[11]
2024 | Published | Conference Paper | IST-REx-ID: 18066 | OA
Avni, G., Goharshady, E. K., Henzinger, T. A., & Mallik, K. (2024). Bidding games with charging. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.8
[Published Version] View | Files available | DOI | arXiv
 
[10]
2024 | Published | Conference Paper | IST-REx-ID: 15376 | OA
Avni, G., Mallik, K., & Sadhukhan, S. (2024). Auction-based scheduling. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 153–172). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_8
[Published Version] View | Files available | DOI | WoS | arXiv
 
[9]
2023 | Published | Conference Paper | IST-REx-ID: 13228 | OA
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
[Published Version] View | Files available | DOI | WoS | arXiv
 
[8]
2023 | Published | Conference Paper | IST-REx-ID: 14454 | OA
Henzinger, T. A., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness under partial observations. In 23rd International Conference on Runtime Verification (Vol. 14245, pp. 291–311). Thessaloniki, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_15
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[7]
2023 | Published | Journal Article | IST-REx-ID: 14920 | OA
Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2023). Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. EPI Sciences. https://doi.org/10.46298/theoretics.23.4
[Published Version] View | Files available | DOI | arXiv
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 13141 | OA
Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15
[Published Version] View | Files available | DOI | WoS
 
[5]
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17
[Published Version] View | Files available | DOI | WoS | arXiv
 
[4]
2023 | Published | Conference Paper | IST-REx-ID: 14758 | OA
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_1
[Published Version] View | Files available | DOI | WoS
 
[3]
2023 | Research Data Reference | IST-REx-ID: 14994 | OA
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. https://doi.org/10.5281/ZENODO.7877790
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
[2]
2022 | Published | Conference Paper | IST-REx-ID: 12529 | OA
Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2022). A direct symbolic algorithm for solving stochastic rabin games. In 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13244, pp. 81–98). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99527-0_5
[Published Version] View | DOI | Download Published Version (ext.)
 
[1]
2022 | Published | Conference Paper | IST-REx-ID: 12530
Finkbeiner, B., Mallik, K., Passing, N., Schledjewski, M., & Schmuck, A.-K. (2022). BOCoSy: Small but powerful symbolic output-feedback control. In 25th ACM International Conference on Hybrid Systems: Computation and Control (p. 24:1-24:11). Milan, Italy: ACM. https://doi.org/10.1145/3501710.3519535
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed