Kaushik Mallik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
9
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Decoupled Planning for Multiple Omega-Regular Objectives. | Guy Avni, Thomas A. Henzinger, Kaushik Mallik, Suman Sadhukhan, K. S. Thejaswini |
| 2026 | CONCUR | Generalized Bidding Games: Where Bidding and Stochastic Games Meet. | Ali Asadi, Thomas A. Henzinger, Ehsan Kafshdar Goharshady, Pavol Kebis, Kaushik Mallik |
| 2025 | AAAI | Fairness Shields: Safeguarding against Biased Decision Makers. | Filip Cano, Thomas A. Henzinger, Bettina Knighofer, Konstantin Kueffner, Kaushik Mallik |
| 2025 | ATVA | Efficient Dynamic Shielding for Parametric Safety Specifications. | Davide Corsi, Kaushik Mallik, Andoni Rodrguez, Csar Snchez |
| 2025 | CAV | Supermartingale Certificates for Quantitative Omega-Regular Verification and Control. | Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic |
| 2025 | KDD | Monitoring Robustness and Individual Fairness. | Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape |
| 2024 | CONCUR | Bidding Games with Charging. | Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik |
| 2024 | FSCD | Abstraction-Based Decision Making for Statistical Properties (Invited Talk). | Filip Cano, Thomas A. Henzinger, Bettina Knighofer, Konstantin Kueffner, Kaushik Mallik |
| 2024 | TACAS | Auction-Based Scheduling. | Guy Avni, Kaushik Mallik, Suman Sadhukhan |
| 2023 | CAV | Monitoring Algorithmic Fairness. | Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik |
| 2023 | CAV | A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. | Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani |
| 2023 | RV | Monitoring Algorithmic Fairness Under Partial Observations. | Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik |
| 2023 | TACAS | Computing Adequately Permissive Assumptions for Synthesis. | Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2022 | TACAS | A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. | Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani |
| 2020 | ICFEM | Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances. | Yunjun Bai, Kaushik Mallik |
| 2019 | ATVA | Lazy Abstraction-Based Controller Synthesis. | Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck |