Supervisory controller synthesis for decomposable deterministic context free specification languages. - Kaushik Mallik; Anne-Kathrin Schmuck (WODES, 2016)

Compositional Synthesis of Finite State Abstractions. - Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck (CoRR, 2016)

Compositional construction of finite state abstractions for stochastic control systems. - Kaushik Mallik; Sadegh Esmaeil Zadeh Soudjani; Anne-Kathrin Schmuck; Rupak Majumdar (CDC, 2017)

Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm. - Srikumar Mallik; Kaushik Mallik; Amal Barman; Dipten Maiti; Sujit K. Biswas; Nirmal K. Deb; Sujay Basu (IEEE Trans. Ind. Electron., 2017)

Lazy Abstraction-Based Control for Safety Specifications. - Kyle Hsu; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck (CDC, 2018)

Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. - Kyle Hsu; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck (HSCC, 2018)

Lazy Abstraction-Based Control for Reachability. - Kyle Hsu; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck (CoRR, 2018)

Lazy Abstraction-Based Controller Synthesis. - Kyle Hsu; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck (ATVA, 2019)

Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment. - Yunjun Bai; Kaushik Mallik; Anne-Kathrin Schmuck; Damien Zufferey; Rupak Majumdar (CDC, 2019)

Compositional Synthesis of Finite-State Abstractions. - Kaushik Mallik; Anne-Kathrin Schmuck; Sadegh Soudjani; Rupak Majumdar (IEEE Trans. Autom. Control., 2019)

Resilient Abstraction-Based Controller Design. - Stanly Samuel; Kaushik Mallik; Anne-Kathrin Schmuck; Daniel Neider (CDC, 2020)

Symbolic controller synthesis for Büchi specifications on stochastic systems. - Rupak Majumdar; Kaushik Mallik; Sadegh Soudjani (HSCC, 2020)

Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances. - Yunjun Bai; Kaushik Mallik (ICFEM, 2020)

Assume-Guarantee Distributed Synthesis. - Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Damien Zufferey (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. - Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Sadegh Soudjani (ADHS, 2021)

ARCH-COMP21 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Hao Ma; Kaushik Mallik; et al. (ARCH@ADHS, 2021)

Symbolic reach-avoid control of multi-agent systems. - Rupak Majumdar; Kaushik Mallik; Mahmoud Salamati; Sadegh Soudjani; Mehrdad Zareian (ICCPS, 2021)

Symbolic Control for Stochastic Systems via Parity Games. - Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Sadegh Soudjani (CoRR, 2021)

BOCoSy: Small but Powerful Symbolic Output-Feedback Control. - Bernd Finkbeiner; Kaushik Mallik; Noemi Passing; Malte Schledjewski; Anne-Kathrin Schmuck (HSCC, 2022)

A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. - Tamajit Banerjee; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Sadegh Soudjani (TACAS (2), 2022)

Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems. - Kaushik Mallik (2022)

Monitoring Algorithmic Fairness. - Thomas A. Henzinger; Mahyar Karimi 001; Konstantin Kueffner; Kaushik Mallik (CAV (2), 2023)

A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. - Rupak Majumdar; Kaushik Mallik; Mateusz Rychlicki; Anne-Kathrin Schmuck; Sadegh Soudjani (CAV (3), 2023)

Runtime Monitoring of Dynamic Fairness Properties. - Thomas A. Henzinger; Mahyar Karimi 001; Konstantin Kueffner; Kaushik Mallik (FAccT, 2023)

Poster Abstract: A Toolchain for Accelerated Symbolic Control. - Rupak Majumdar; Kaushik Mallik; Mateusz Rychlicki; Anne-Kathrin Schmuck; Sadegh Soudjani (HSCC, 2023)

Monitoring Algorithmic Fairness Under Partial Observations. - Thomas A. Henzinger; Konstantin Kueffner; Kaushik Mallik (RV, 2023)

Computing Adequately Permissive Assumptions for Synthesis. - Ashwani Anand; Kaushik Mallik; Satya Prakash Nayak; Anne-Kathrin Schmuck (TACAS (2), 2023)

Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. - Tamajit Banerjee; Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Sadegh Soudjani (TheoretiCS, 2023)

Bidding Games with Charging. - Guy Avni; Ehsan Kafshdar Goharshady; Thomas A. Henzinger; Kaushik Mallik (CONCUR, 2024)

Abstraction-Based Decision Making for Statistical Properties (Invited Talk). - Filip Cano 001; Thomas A. Henzinger; Bettina Könighofer; Konstantin Kueffner; Kaushik Mallik (FSCD, 2024)

Auction-Based Scheduling. - Guy Avni; Kaushik Mallik; Suman Sadhukhan (TACAS (3), 2024)

Fairness Shields: Safeguarding against Biased Decision Makers. - Filip Cano 001; Thomas A. Henzinger; Bettina Könighofer; Konstantin Kueffner; Kaushik Mallik (AAAI, 2025)

Supermartingale Certificates for Quantitative Omega-Regular Verification and Control. - Thomas A. Henzinger; Kaushik Mallik; Pouya Sadeghi; Dorde Zikelic (CAV (2), 2025)

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives. - Guy Avni; Martin Kurecka; Kaushik Mallik; Petr Novotný 001; Suman Sadhukhan (AAMAS, 2025)

Predictive Monitoring of Black-Box Dynamical Systems. - Thomas A. Henzinger; Fabian Kresse; Kaushik Mallik; Emily Yu; Djordje Zikelic (L4DC, 2025)

Efficient Dynamic Shielding for Parametric Safety Specifications. - Davide Corsi; Kaushik Mallik; Andoni Rodríguez; César Sánchez 001 (CoRR, 2025)

Monitoring Robustness and Individual Fairness. - Ashutosh Gupta 001; Thomas A. Henzinger; Konstantin Kueffner; Kaushik Mallik; David Pape (CoRR, 2025)

Monitoring of Static Fairness. - Thomas A. Henzinger; Mahyar Karimi 001; Konstantin Kueffner; Kaushik Mallik (CoRR, 2025)

Glitches in Decision Tree Ensemble Models. - Satyankar Chandra; Ashutosh Gupta 001; Kaushik Mallik; Krishna Shankaranarayanan; Namrita Varshney (CoRR, 2025)