Kaushik Mallik

17 Publications

Mark all

[17]
2025 | Published | Conference Paper | IST-REx-ID: 19665 | OA
Cano Cordoba F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. Fairness shields: Safeguarding against biased decision makers. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:15659-15668. doi:10.1609/aaai.v39i15.33719
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[16]
2025 | Published | Conference Paper | IST-REx-ID: 20225 | OA
Henzinger TA, Mallik K, Sadeghi P, Zikelic D. Supermartingale certificates for quantitative omega-regular verification and control. In: 37th International Conference on Computer Aided Verification. Vol 15932. Springer Nature; 2025:29-55. doi: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 TA, Kresse F, Mallik K, Yu E, Zikelic D. Predictive monitoring of black-box dynamical systems. In: 7th Annual Learning for Dynamics & Control Conference. Vol 283. ML Research Press; 2025:804-816.
[Published Version] View | Files available | arXiv
 
[14]
2025 | Published | Conference Paper | IST-REx-ID: 20292 | OA
Gupta A, Henzinger TA, Kueffner K, Mallik K, Pape D. Monitoring robustness and individual fairness. In: Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Vol 2. Association for Computing Machinery; 2025:790-801. doi:10.1145/3711896.3737054
[Published Version] View | Files available | DOI | arXiv
 
[13]
2024 | Published | Conference Paper | IST-REx-ID: 17327 | OA
Cano F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. Abstraction-based decision making for statistical properties. In: 9th International Conference on Formal Structures for Computation and Deduction. Vol 299. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi: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 AK, Soudjani S. Symbolic control for stochastic systems via finite parity games. Nonlinear Analysis: Hybrid Systems. 2024;51(2). doi: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 EK, Henzinger TA, Mallik K. Bidding games with charging. In: 35th International Conference on Concurrency Theory. Vol 311. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi: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. Auction-based scheduling. In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:153-172. doi: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 TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery; 2023:604-614. doi:10.1145/3593013.3594028
[Published Version] View | Files available | DOI | WoS | arXiv
 
[8]
2023 | Published | Conference Paper | IST-REx-ID: 14454 | OA
Henzinger TA, Kueffner K, Mallik K. Monitoring algorithmic fairness under partial observations. In: 23rd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:291-311. doi: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. Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. 2023;2. doi: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 SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi: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 TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi: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. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In: 35th International Conference on Computer Aided Verification. Vol 13966. Springer Nature; 2023:3-15. doi: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. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi: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. 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. Springer Nature; 2022:81-98. doi: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. BOCoSy: Small but powerful symbolic output-feedback control. In: 25th ACM International Conference on Hybrid Systems: Computation and Control. ACM; 2022:24:1-24:11. doi:10.1145/3501710.3519535
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

Grants


17 Publications

Mark all

[17]
2025 | Published | Conference Paper | IST-REx-ID: 19665 | OA
Cano Cordoba F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. Fairness shields: Safeguarding against biased decision makers. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:15659-15668. doi:10.1609/aaai.v39i15.33719
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[16]
2025 | Published | Conference Paper | IST-REx-ID: 20225 | OA
Henzinger TA, Mallik K, Sadeghi P, Zikelic D. Supermartingale certificates for quantitative omega-regular verification and control. In: 37th International Conference on Computer Aided Verification. Vol 15932. Springer Nature; 2025:29-55. doi: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 TA, Kresse F, Mallik K, Yu E, Zikelic D. Predictive monitoring of black-box dynamical systems. In: 7th Annual Learning for Dynamics & Control Conference. Vol 283. ML Research Press; 2025:804-816.
[Published Version] View | Files available | arXiv
 
[14]
2025 | Published | Conference Paper | IST-REx-ID: 20292 | OA
Gupta A, Henzinger TA, Kueffner K, Mallik K, Pape D. Monitoring robustness and individual fairness. In: Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Vol 2. Association for Computing Machinery; 2025:790-801. doi:10.1145/3711896.3737054
[Published Version] View | Files available | DOI | arXiv
 
[13]
2024 | Published | Conference Paper | IST-REx-ID: 17327 | OA
Cano F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. Abstraction-based decision making for statistical properties. In: 9th International Conference on Formal Structures for Computation and Deduction. Vol 299. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi: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 AK, Soudjani S. Symbolic control for stochastic systems via finite parity games. Nonlinear Analysis: Hybrid Systems. 2024;51(2). doi: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 EK, Henzinger TA, Mallik K. Bidding games with charging. In: 35th International Conference on Concurrency Theory. Vol 311. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi: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. Auction-based scheduling. In: 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Springer Nature; 2024:153-172. doi: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 TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery; 2023:604-614. doi:10.1145/3593013.3594028
[Published Version] View | Files available | DOI | WoS | arXiv
 
[8]
2023 | Published | Conference Paper | IST-REx-ID: 14454 | OA
Henzinger TA, Kueffner K, Mallik K. Monitoring algorithmic fairness under partial observations. In: 23rd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:291-311. doi: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. Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. 2023;2. doi: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 SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi: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 TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi: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. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In: 35th International Conference on Computer Aided Verification. Vol 13966. Springer Nature; 2023:3-15. doi: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. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi: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. 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. Springer Nature; 2022:81-98. doi: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. BOCoSy: Small but powerful symbolic output-feedback control. In: 25th ACM International Conference on Hybrid Systems: Computation and Control. ACM; 2022:24:1-24:11. doi:10.1145/3501710.3519535
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed