Kaushik Mallik

17 Publications

Mark all

[17]
2025 | Published | Conference Paper | IST-REx-ID: 19665 | OA
Cano Cordoba, Filip, et al. “Fairness Shields: Safeguarding against Biased Decision Makers.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 15, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–68, doi: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., et al. “Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.” 37th International Conference on Computer Aided Verification, vol. 15932, Springer Nature, 2025, pp. 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, Thomas A., et al. “Predictive Monitoring of Black-Box Dynamical Systems.” 7th Annual Learning for Dynamics & Control Conference, vol. 283, ML Research Press, 2025, pp. 804–16.
[Published Version] View | Files available | arXiv
 
[14]
2025 | Published | Conference Paper | IST-REx-ID: 20292 | OA
Gupta, Ashutosh, et al. “Monitoring Robustness and Individual Fairness.” Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, vol. 2, Association for Computing Machinery, 2025, pp. 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, Filip, et al. “Abstraction-Based Decision Making for Statistical Properties.” 9th International Conference on Formal Structures for Computation and Deduction, vol. 299, 2, 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, Rupak, et al. “Symbolic Control for Stochastic Systems via Finite Parity Games.” Nonlinear Analysis: Hybrid Systems, vol. 51, no. 2, 101430, Elsevier, 2024, 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, Guy, et al. “Bidding Games with Charging.” 35th International Conference on Concurrency Theory, vol. 311, 8, 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, Guy, et al. “Auction-Based Scheduling.” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 153–72, 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, Thomas A., et al. “Runtime Monitoring of Dynamic Fairness Properties.” FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–14, doi: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., et al. “Monitoring Algorithmic Fairness under Partial Observations.” 23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 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, Tamajit, et al. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS, vol. 2, 4, EPI Sciences, 2023, doi:10.46298/theoretics.23.4.
[Published Version] View | Files available | DOI | arXiv
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 13141 | OA
Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 211–28, 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, Thomas A., et al. “Monitoring Algorithmic Fairness.” Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 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, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 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, Rupak, et al. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. Zenodo, 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, Tamajit, et al. “A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.” 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 13244, Springer Nature, 2022, pp. 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, Bernd, et al. “BOCoSy: Small but Powerful Symbolic Output-Feedback Control.” 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11, doi:10.1145/3501710.3519535.
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

Grants


17 Publications

Mark all

[17]
2025 | Published | Conference Paper | IST-REx-ID: 19665 | OA
Cano Cordoba, Filip, et al. “Fairness Shields: Safeguarding against Biased Decision Makers.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 15, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–68, doi: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., et al. “Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.” 37th International Conference on Computer Aided Verification, vol. 15932, Springer Nature, 2025, pp. 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, Thomas A., et al. “Predictive Monitoring of Black-Box Dynamical Systems.” 7th Annual Learning for Dynamics & Control Conference, vol. 283, ML Research Press, 2025, pp. 804–16.
[Published Version] View | Files available | arXiv
 
[14]
2025 | Published | Conference Paper | IST-REx-ID: 20292 | OA
Gupta, Ashutosh, et al. “Monitoring Robustness and Individual Fairness.” Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, vol. 2, Association for Computing Machinery, 2025, pp. 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, Filip, et al. “Abstraction-Based Decision Making for Statistical Properties.” 9th International Conference on Formal Structures for Computation and Deduction, vol. 299, 2, 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, Rupak, et al. “Symbolic Control for Stochastic Systems via Finite Parity Games.” Nonlinear Analysis: Hybrid Systems, vol. 51, no. 2, 101430, Elsevier, 2024, 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, Guy, et al. “Bidding Games with Charging.” 35th International Conference on Concurrency Theory, vol. 311, 8, 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, Guy, et al. “Auction-Based Scheduling.” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 153–72, 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, Thomas A., et al. “Runtime Monitoring of Dynamic Fairness Properties.” FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–14, doi: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., et al. “Monitoring Algorithmic Fairness under Partial Observations.” 23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 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, Tamajit, et al. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS, vol. 2, 4, EPI Sciences, 2023, doi:10.46298/theoretics.23.4.
[Published Version] View | Files available | DOI | arXiv
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 13141 | OA
Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 211–28, 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, Thomas A., et al. “Monitoring Algorithmic Fairness.” Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 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, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 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, Rupak, et al. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. Zenodo, 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, Tamajit, et al. “A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.” 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 13244, Springer Nature, 2022, pp. 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, Bernd, et al. “BOCoSy: Small but Powerful Symbolic Output-Feedback Control.” 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11, doi:10.1145/3501710.3519535.
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed