Kaushik Mallik

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 42

Top Topics

Simplifying Assumptions

Controller Synthesis

Stochastic Models

Top Venues

Publications

Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
Bidding Games with Charging. CONCUR (2024)
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
Abstraction-Based Decision Making for Statistical Properties (Invited Talk). FSCD (2024)
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
Bidding Games with Charging. CoRR (2024)
Guy Avni, Kaushik Mallik, Suman Sadhukhan
Auction-Based Scheduling. TACAS (3) (2024)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Runtime Monitoring of Dynamic Fairness Properties. CoRR (2023)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
Poster Abstract: A Toolchain for Accelerated Symbolic Control. HSCC (2023)
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness under Partial Observations. CoRR (2023)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
Computing Adequately Permissive Assumptions for Synthesis. TACAS (2) (2023)
Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. CAV (3) (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness. CAV (2) (2023)
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness Under Partial Observations. RV (2023)
Guy Avni, Kaushik Mallik, Suman Sadhukhan
Auction-Based Scheduling. CoRR (2023)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS 2 (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Runtime Monitoring of Dynamic Fairness Properties. FAccT (2023)
Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck
Computing Adequately Permissive Assumptions for Synthesis. CoRR (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness. CoRR (2023)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. TACAS (2) (2022)
Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. CoRR (2022)
Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. HSCC (2022)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Symbolic Control for Stochastic Systems via Parity Games. CoRR (2021)
Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian
Symbolic reach-avoid control of multi-agent systems. ICCPS (2021)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. ADHS (2021)
Alessandro Abate, Henk 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 Thorpe, Vlad Turcuman, Paolo Zuliani
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS (2021)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient Abstraction-Based Controller Design. CDC (2020)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient Abstraction-Based Controller Design. CoRR (2020)
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
Symbolic controller synthesis for Büchi specifications on stochastic systems. HSCC (2020)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey
Assume-Guarantee Distributed Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck, Daniel Neider
Resilient abstraction-based controller design. HSCC (2020)
Yunjun Bai, Kaushik Mallik
Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances. ICFEM (2020)
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems. CoRR (2019)
Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar
Compositional Synthesis of Finite-State Abstractions. IEEE Trans. Autom. Control. 64 (6) (2019)
Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar
Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment. CDC (2019)
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Lazy Abstraction-Based Controller Synthesis. ATVA (2019)
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Lazy Abstraction-Based Control for Reachability. CoRR (2018)
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Lazy Abstraction-Based Control for Safety Specifications. CDC (2018)
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. HSCC (2018)
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Lazy Abstraction-Based Control for Safety Specifications. CoRR (2018)
Srikumar Mallik, Kaushik Mallik, Amal Barman, Dipten Maiti, Sujit K. Biswas, Nirmal K. Deb, Sujay Basu
Efficiency and Cost Optimized Design of an Induction Motor Using Genetic Algorithm. IEEE Trans. Ind. Electron. 64 (12) (2017)
Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
Compositional Construction of Finite State Abstractions for Stochastic Control Systems. CoRR (2017)
Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
Compositional construction of finite state abstractions for stochastic control systems. CDC (2017)
Kaushik Mallik, Anne-Kathrin Schmuck
Supervisory controller synthesis for decomposable deterministic context free specification languages. WODES (2016)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
Compositional Synthesis of Finite State Abstractions. CoRR (2016)