Kaushik Mallik

57 papers A* 1A 1B 5C 1Journal 26Unranked 22
YearRankTypeTitle / Venue / Authors
2025 A conf
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives.
AAMAS
Guy Avni, Martin Kurecka, Kaushik Mallik, Petr Novotný, Suman Sadhukhan
2025 B conf
Efficient Dynamic Shielding for Parametric Safety Specifications.
ATVA
Davide Corsi, Kaushik Mallik, Andoni Rodríguez, César Sánchez
2025 J jnl
Efficient Dynamic Shielding for Parametric Safety Specifications.
CoRR
Davide Corsi, Kaushik Mallik, Andoni Rodríguez, César Sánchez
2025 A* conf
Fairness Shields: Safeguarding against Biased Decision Makers.
AAAI
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
2025 J jnl
Glitches in Decision Tree Ensemble Models.
CoRR
Satyankar Chandra, Ashutosh Gupta, Kaushik Mallik, Krishna Shankaranarayanan, Namrita Varshney
2025 — conf
Monitoring Robustness and Individual Fairness.
KDD (2)
Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape
2025 J jnl
Monitoring Robustness and Individual Fairness.
CoRR
Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape
2025 J jnl
Monitoring of Static Fairness.
CoRR
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2025 — conf
Predictive Monitoring of Black-Box Dynamical Systems.
L4DC
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Djordje Zikelic
2025 — conf
Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.
CAV (2)
Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic
2025 J jnl
Supermartingale Certificates for Quantitative Omega-regular Verification and Control.
CoRR
Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic
2024 B conf
Abstraction-Based Decision Making for Statistical Properties (Invited Talk).
FSCD
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
2024 — conf
Auction-Based Scheduling.
TACAS (3)
Guy Avni, Kaushik Mallik, Suman Sadhukhan
2024 J jnl
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives.
CoRR
Guy Avni, Martin Kurecka, Kaushik Mallik, Petr Novotný, Suman Sadhukhan
2024 B conf
Bidding Games with Charging.
CONCUR
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
2024 J jnl
Bidding Games with Charging.
CoRR
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
2024 J jnl
Fairness Shields: Safeguarding against Biased Decision Makers.
CoRR
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
2024 J jnl
Predictive Monitoring of Black-Box Dynamical Systems.
CoRR
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Dorde Zikelic
2023 — conf
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.
CAV (3)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
2023 J jnl
Auction-Based Scheduling.
CoRR
Guy Avni, Kaushik Mallik, Suman Sadhukhan
2023 — conf
Computing Adequately Permissive Assumptions for Synthesis.
TACAS (2)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Computing Adequately Permissive Assumptions for Synthesis.
CoRR
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
2023 J jnl
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.
TheoretiCS
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2023 B conf
Monitoring Algorithmic Fairness Under Partial Observations.
RV
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
2023 J jnl
Monitoring Algorithmic Fairness under Partial Observations.
CoRR
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
2023 — conf
Monitoring Algorithmic Fairness.
CAV (2)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2023 J jnl
Monitoring Algorithmic Fairness.
CoRR
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2023 — conf
Poster Abstract: A Toolchain for Accelerated Symbolic Control.
HSCC
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
2023 — conf
Runtime Monitoring of Dynamic Fairness Properties.
FAccT
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2023 J jnl
Runtime Monitoring of Dynamic Fairness Properties.
CoRR
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2022 — conf
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.
TACAS (2)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2022 — conf
BOCoSy: Small but Powerful Symbolic Output-Feedback Control.
HSCC
Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck
2022 J jnl
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.
CoRR
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2022 — —
Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems.
Kaushik Mallik
2021 — conf
ARCH-COMP21 Category Report: Stochastic Models.
ARCH@ADHS
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, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani
2021 J jnl
Symbolic Control for Stochastic Systems via Parity Games.
CoRR
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2021 — conf
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games.
ADHS
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2021 — conf
Symbolic reach-avoid control of multi-agent systems.
ICCPS
Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian
2020 C conf
Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances.
ICFEM
Yunjun Bai, Kaushik Mallik
2020 J jnl
Assume-Guarantee Distributed Synthesis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey
2020 — conf
Resilient Abstraction-Based Controller Design.
CDC
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
2020 J jnl
Resilient Abstraction-Based Controller Design.
CoRR
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
2020 — conf
Resilient abstraction-based controller design.
HSCC
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
2020 — conf
Symbolic controller synthesis for Büchi specifications on stochastic systems.
HSCC
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
2019 J jnl
Compositional Synthesis of Finite-State Abstractions.
IEEE Trans. Autom. Control.
Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar
2019 — conf
Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment.
CDC
Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar
2019 B conf
Lazy Abstraction-Based Controller Synthesis.
ATVA
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2019 J jnl
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems.
CoRR
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
2018 J jnl
Lazy Abstraction-Based Control for Reachability.
CoRR
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2018 — conf
Lazy Abstraction-Based Control for Safety Specifications.
CDC
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2018 J jnl
Lazy Abstraction-Based Control for Safety Specifications.
CoRR
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2018 — conf
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems.
HSCC
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2017 J jnl
Compositional Construction of Finite State Abstractions for Stochastic Control Systems.
CoRR
Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
2017 — conf
Compositional construction of finite state abstractions for stochastic control systems.
CDC
Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
2017 J jnl
Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm.
IEEE Trans. Ind. Electron.
Srikumar Mallik, Kaushik Mallik, Amal Barman, Dipten Maiti, Sujit K. Biswas, Nirmal K. Deb, Sujay Basu
2016 J jnl
Compositional Synthesis of Finite State Abstractions.
CoRR
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2016 — conf
Supervisory controller synthesis for decomposable deterministic context free specification languages.
WODES
Kaushik Mallik, Anne-Kathrin Schmuck