publications

publications in reversed chronological order.

2025

  1. Fairness Shields: Safeguarding against Biased Decision Makers
    Filip Cano, Thomas A. Henzinger, Bettina Könighofer, and 2 more authors
    In AAAI, 2025
    PDF
  2. Supermartingale Certificates for Quantitative Omega-Regular Verification and Control
    Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, and 1 more author
    In CAV (2), 2025
    HTML
  3. Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
    Guy Avni, Martin Kurecka, Kaushik Mallik, and 2 more authors
    In AAMAS, 2025
    arXiv
  4. Predictive Monitoring of Black-Box Dynamical Systems
    Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, and 2 more authors
    In L4DC, 2025
    arXiv PDF
  5. Efficient Dynamic Shielding for Parametric Safety Specifications
    Davide Corsi, Kaushik Mallik, Andoni Rodrı́guez, and 1 more author
    ATVA (to appear), 2025
    arXiv
  6. Monitoring Robustness and Individual Fairness
    Ashutosh Gupta, Thomas A Henzinger, Konstantin Kueffner, and 2 more authors
    In KDD, 2025
    Recipient of the Runner-Up Best Paper Award   :trophy:
    PDF
  7. Monitoring of Static Fairness
    Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, and 1 more author
    CoRR, 2025
    arXiv
  8. Glitches in Decision Tree Ensemble Models
    Satyankar Chandra, Ashutosh Gupta, Kaushik Mallik, and 2 more authors
    CoRR, 2025
    arXiv

2024

  1. Bidding Games with Charging
    Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, and 1 more author
    CONCUR, 2024
    Nominated for the best paper award at CONCUR 2024   :trophy:
    arXiv
  2. Abstraction-Based Decision Making for Statistical Properties (Invited Talk)
    Filip Cano, Thomas A. Henzinger, Bettina Könighofer, and 2 more authors
    FSCD, 2024
    PDF
  3. Auction-Based Scheduling
    Guy Avni, Kaushik Mallik, and Suman Sadhukhan
    TACAS (3), 2024
    arXiv
  4. Symbolic Control for Stochastic Systems via Parity Games
    Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and 1 more author
    Nonlinear Analysis: Hybrid Systems, 2024
    arXiv HTML

2023

  1. Runtime Monitoring of Dynamic Fairness Properties
    Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, and 1 more author
    FAccT, 2023
    arXiv
  2. Monitoring Algorithmic Fairness
    Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, and 1 more author
    CAV (2), 2023
    arXiv
  3. Monitoring Algorithmic Fairness Under Partial Observations
    Thomas A. Henzinger, Konstantin Kueffner, and Kaushik Mallik
    RV, 2023
    arXiv
  4. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties
    Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, and 2 more authors
    CAV (3), 2023
    PDF
  5. Poster Abstract: A Toolchain for Accelerated Symbolic Control
    Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, and 2 more authors
    HSCC, 2023
    PDF
  6. Computing Adequately Permissive Assumptions for Synthesis
    Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, and 1 more author
    TACAS (2), 2023
    arXiv
  7. Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
    Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, and 2 more authors
    TheoretiCS, 2023
    PDF

2022

  1. Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems
    Kaushik Mallik
    TU Kaiserslautern, Germany, 2022
    Winner of the fourth ETAPS doctoral dissertation award (2023)   :trophy:
    PDF
  2. BOCoSy: Small but Powerful Symbolic Output-Feedback Control
    Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, and 2 more authors
    HSCC, 2022
    PDF
  3. A Direct Symbolic Algorithm for Solving Stochastic Rabin Games
    Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, and 2 more authors
    TACAS (2), 2022
    Nominated for the EATCS best paper award   :trophy:
    HTML

2021

  1. Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games
    Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and 1 more author
    ADHS, 2021
    PDF
  2. ARCH-COMP21 Category Report: Stochastic Models
    Alessandro Abate, Henk A. P. Blom, Marc Bouissou, and 17 more authors
    ARCH@ADHS, 2021
    HTML
  3. Symbolic reach-avoid control of multi-agent systems
    Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, and 2 more authors
    ICCPS, 2021
    HTML

2020

  1. Assume-Guarantee Distributed Synthesis
    Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and 1 more author
    IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
    HTML PDF Talk
  2. Symbolic controller synthesis for Büchi specifications on stochastic systems
    Rupak Majumdar, Kaushik Mallik, and Sadegh Soudjani
    HSCC, 2020
    Nominated for the ACM SIGBED best paper award   :trophy:
    arXiv HTML
  3. Resilient abstraction-based controller design
    Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, and 1 more author
    HSCC, 2020
    arXiv HTML
  4. Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances
    Yunjun Bai, and Kaushik Mallik
    ICFEM, 2020
    HTML

2019

  1. Compositional Synthesis of Finite-State Abstractions
    Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, and 1 more author
    IEEE Trans. Autom. Control., 2019
    arXiv HTML
  2. Lazy Abstraction-Based Controller Synthesis
    Kyle Hsu, Rupak Majumdar, Kaushik Mallik, and 1 more author
    ATVA, 2019
    arXiv HTML
  3. Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment
    Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, and 2 more authors
    CDC, 2019
    HTML PDF

2018

  1. Lazy Abstraction-Based Control for Safety Specifications
    Kyle Hsu, Rupak Majumdar, Kaushik Mallik, and 1 more author
    CDC, 2018
    arXiv HTML
  2. Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
    Kyle Hsu, Rupak Majumdar, Kaushik Mallik, and 1 more author
    HSCC, 2018
    HTML
  3. Lazy Abstraction-Based Control for Reachability
    Kyle Hsu, Rupak Majumdar, Kaushik Mallik, and 1 more author
    CoRR, 2018
    arXiv

2017

  1. Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm
    Srikumar Mallik, Kaushik Mallik, Amal Barman, and 4 more authors
    IEEE Trans. Ind. Electron., 2017
    HTML
  2. Compositional construction of finite state abstractions for stochastic control systems
    Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, and 1 more author
    CDC, 2017
    arXiv HTML

2016

  1. Supervisory controller synthesis for decomposable deterministic context free specification languages
    Kaushik Mallik, and Anne-Kathrin Schmuck
    WODES, 2016
    HTML