publications

publications in reversed chronological order.

2024

  1. Bidding Games with Charging
    Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, and 1 more author
    In 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
    In FSCD, 2024
  3. Auction-Based Scheduling
    Guy Avni, Kaushik Mallik, and Suman Sadhukhan
    In 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
    In FAccT, 2023
    arXiv
  2. Monitoring Algorithmic Fairness
    Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, and 1 more author
    In CAV (2), 2023
    arXiv
  3. Monitoring Algorithmic Fairness Under Partial Observations
    Thomas A. Henzinger, Konstantin Kueffner, and Kaushik Mallik
    In 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
    In CAV (3), 2023
    PDF
  5. Poster Abstract: A Toolchain for Accelerated Symbolic Control
    Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, and 2 more authors
    In HSCC, 2023
    PDF
  6. Computing Adequately Permissive Assumptions for Synthesis
    Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, and 1 more author
    In 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
    In HSCC, 2022
    PDF
  3. A Direct Symbolic Algorithm for Solving Stochastic Rabin Games
    Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, and 2 more authors
    In 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
    In ADHS, 2021
    PDF
  2. ARCH-COMP21 Category Report: Stochastic Models
    Alessandro Abate, Henk A. P. Blom, Marc Bouissou, and 17 more authors
    In ARCH@ADHS, 2021
    HTML
  3. Symbolic reach-avoid control of multi-agent systems
    Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, and 2 more authors
    In 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
    In 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
    In HSCC, 2020
    arXiv HTML
  4. Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances
    Yunjun Bai, and Kaushik Mallik
    In 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
    In 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
    In CDC, 2019
    HTML PDF

2018

  1. Lazy Abstraction-Based Control for Safety Specifications
    Kyle Hsu, Rupak Majumdar, Kaushik Mallik, and 1 more author
    In 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
    In 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
    In CDC, 2017
    arXiv HTML

2016

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