Kaushik Mallik
Henzinger_Thomas Group
13 Publications
2024 | Published | Journal Article | IST-REx-ID: 14400 | 
Symbolic control for stochastic systems via finite parity games
R. Majumdar, K. Mallik, A.K. Schmuck, S. Soudjani, Nonlinear Analysis: Hybrid Systems 51 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Majumdar, K. Mallik, A.K. Schmuck, S. Soudjani, Nonlinear Analysis: Hybrid Systems 51 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17327 |
Abstraction-based decision making for statistical properties
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 15376 |
Auction-based scheduling
G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.
2024 | Published | Conference Paper | IST-REx-ID: 18066 |
Bidding games with charging
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2023 | Published | Conference Paper | IST-REx-ID: 13141 |
Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
[Published Version]
View
| Files available
| DOI
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
2023 | Published | Conference Paper | IST-REx-ID: 13228 |
Runtime monitoring of dynamic fairness properties
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
2023 | Published | Conference Paper | IST-REx-ID: 14454 |
Monitoring algorithmic fairness under partial observations
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
2023 | Published | Conference Paper | IST-REx-ID: 14758 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version]
View
| Files available
| DOI
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
2023 | Published | Journal Article | IST-REx-ID: 14920 |
Fast symbolic algorithms for mega-regular games under strong transition fairness
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
2023 | Research Data Reference | IST-REx-ID: 14994 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
2022 | Published | Conference Paper | IST-REx-ID: 12529 |
A direct symbolic algorithm for solving stochastic rabin games
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
2022 | Published | Conference Paper | IST-REx-ID: 12530
BOCoSy: Small but powerful symbolic output-feedback control
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, A.-K. Schmuck, in:, 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11.
View
| DOI
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, A.-K. Schmuck, in:, 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11.
Grants
13 Publications
2024 | Published | Journal Article | IST-REx-ID: 14400 |
Symbolic control for stochastic systems via finite parity games
R. Majumdar, K. Mallik, A.K. Schmuck, S. Soudjani, Nonlinear Analysis: Hybrid Systems 51 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Majumdar, K. Mallik, A.K. Schmuck, S. Soudjani, Nonlinear Analysis: Hybrid Systems 51 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17327 |
Abstraction-based decision making for statistical properties
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 15376 |
Auction-based scheduling
G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.
2024 | Published | Conference Paper | IST-REx-ID: 18066 |
Bidding games with charging
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2023 | Published | Conference Paper | IST-REx-ID: 13141 |
Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
[Published Version]
View
| Files available
| DOI
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
2023 | Published | Conference Paper | IST-REx-ID: 13228 |
Runtime monitoring of dynamic fairness properties
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
2023 | Published | Conference Paper | IST-REx-ID: 14454 |
Monitoring algorithmic fairness under partial observations
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
2023 | Published | Conference Paper | IST-REx-ID: 14758 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version]
View
| Files available
| DOI
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
2023 | Published | Journal Article | IST-REx-ID: 14920 |
Fast symbolic algorithms for mega-regular games under strong transition fairness
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
2023 | Research Data Reference | IST-REx-ID: 14994 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
2022 | Published | Conference Paper | IST-REx-ID: 12529 |
A direct symbolic algorithm for solving stochastic rabin games
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
2022 | Published | Conference Paper | IST-REx-ID: 12530
BOCoSy: Small but powerful symbolic output-feedback control
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, A.-K. Schmuck, in:, 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11.
View
| DOI
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, A.-K. Schmuck, in:, 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11.