Kaushik Mallik

17 Publications

Mark all

[17]
2025 | Published | Conference Paper | IST-REx-ID: 19665 | OA
Cano Cordoba, Filip, Thomas A Henzinger, Bettina Könighofer, Konstantin Kueffner, and Kaushik Mallik. “Fairness Shields: Safeguarding against Biased Decision Makers.” In Proceedings of the AAAI Conference on Artificial Intelligence, 39:15659–68. Association for the Advancement of Artificial Intelligence, 2025. 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, Thomas A, Kaushik Mallik, Pouya Sadeghi, and Dorde Zikelic. “Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.” In 37th International Conference on Computer Aided Verification, 15932:29–55. Springer Nature, 2025. 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, Thomas A, Fabian Kresse, Kaushik Mallik, Emily Yu, and Dorde Zikelic. “Predictive Monitoring of Black-Box Dynamical Systems.” In 7th Annual Learning for Dynamics & Control Conference, 283:804–16. ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 
[14]
2025 | Published | Conference Paper | IST-REx-ID: 20292 | OA
Gupta, Ashutosh, Thomas A Henzinger, Konstantin Kueffner, Kaushik Mallik, and David Pape. “Monitoring Robustness and Individual Fairness.” In Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2:790–801. Association for Computing Machinery, 2025. 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, Filip, Thomas A Henzinger, Bettina Könighofer, Konstantin Kueffner, and Kaushik Mallik. “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. 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, Rupak, Kaushik Mallik, Anne Kathrin Schmuck, and Sadegh Soudjani. “Symbolic Control for Stochastic Systems via Finite Parity Games.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2024. 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, Guy, Ehsan Kafshdar Goharshady, Thomas A Henzinger, and Kaushik Mallik. “Bidding Games with Charging.” In 35th International Conference on Concurrency Theory, Vol. 311. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. 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, Guy, Kaushik Mallik, and Suman Sadhukhan. “Auction-Based Scheduling.” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:153–72. Springer Nature, 2024. 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, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Runtime Monitoring of Dynamic Fairness Properties.” In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 604–14. Association for Computing Machinery, 2023. 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, Thomas A, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness under Partial Observations.” In 23rd International Conference on Runtime Verification, 14245:291–311. Springer Nature, 2023. 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, Tamajit, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS. EPI Sciences, 2023. 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, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023. 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, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. 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, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 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.
[Published Version] View | Files available | DOI | WoS
 
[3]
2023 | Research Data Reference | IST-REx-ID: 14994 | OA
Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” Zenodo, 2023. 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, Tamajit, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.” In 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 13244:81–98. Springer Nature, 2022. 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, Bernd, Kaushik Mallik, Noemi Passing, Malte Schledjewski, and Anne-Kathrin Schmuck. “BOCoSy: Small but Powerful Symbolic Output-Feedback Control.” In 25th ACM International Conference on Hybrid Systems: Computation and Control, 24:1-24:11. ACM, 2022. https://doi.org/10.1145/3501710.3519535.
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed

Grants


17 Publications

Mark all

[17]
2025 | Published | Conference Paper | IST-REx-ID: 19665 | OA
Cano Cordoba, Filip, Thomas A Henzinger, Bettina Könighofer, Konstantin Kueffner, and Kaushik Mallik. “Fairness Shields: Safeguarding against Biased Decision Makers.” In Proceedings of the AAAI Conference on Artificial Intelligence, 39:15659–68. Association for the Advancement of Artificial Intelligence, 2025. 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, Thomas A, Kaushik Mallik, Pouya Sadeghi, and Dorde Zikelic. “Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.” In 37th International Conference on Computer Aided Verification, 15932:29–55. Springer Nature, 2025. 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, Thomas A, Fabian Kresse, Kaushik Mallik, Emily Yu, and Dorde Zikelic. “Predictive Monitoring of Black-Box Dynamical Systems.” In 7th Annual Learning for Dynamics & Control Conference, 283:804–16. ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 
[14]
2025 | Published | Conference Paper | IST-REx-ID: 20292 | OA
Gupta, Ashutosh, Thomas A Henzinger, Konstantin Kueffner, Kaushik Mallik, and David Pape. “Monitoring Robustness and Individual Fairness.” In Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2:790–801. Association for Computing Machinery, 2025. 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, Filip, Thomas A Henzinger, Bettina Könighofer, Konstantin Kueffner, and Kaushik Mallik. “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. 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, Rupak, Kaushik Mallik, Anne Kathrin Schmuck, and Sadegh Soudjani. “Symbolic Control for Stochastic Systems via Finite Parity Games.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2024. 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, Guy, Ehsan Kafshdar Goharshady, Thomas A Henzinger, and Kaushik Mallik. “Bidding Games with Charging.” In 35th International Conference on Concurrency Theory, Vol. 311. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. 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, Guy, Kaushik Mallik, and Suman Sadhukhan. “Auction-Based Scheduling.” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:153–72. Springer Nature, 2024. 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, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Runtime Monitoring of Dynamic Fairness Properties.” In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 604–14. Association for Computing Machinery, 2023. 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, Thomas A, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness under Partial Observations.” In 23rd International Conference on Runtime Verification, 14245:291–311. Springer Nature, 2023. 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, Tamajit, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS. EPI Sciences, 2023. 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, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023. 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, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. 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, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 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.
[Published Version] View | Files available | DOI | WoS
 
[3]
2023 | Research Data Reference | IST-REx-ID: 14994 | OA
Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” Zenodo, 2023. 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, Tamajit, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.” In 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 13244:81–98. Springer Nature, 2022. 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, Bernd, Kaushik Mallik, Noemi Passing, Malte Schledjewski, and Anne-Kathrin Schmuck. “BOCoSy: Small but Powerful Symbolic Output-Feedback Control.” In 25th ACM International Conference on Hybrid Systems: Computation and Control, 24:1-24:11. ACM, 2022. https://doi.org/10.1145/3501710.3519535.
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed